Kør Win 7 64 bit som 32 bit?

Hej

Kan jeg få min Windows 7, 64 bit til at køre som 32 bit - uden at skulle køre noget virtuelt halløj?
Sagen er at jeg skal have en Citrix Access Gateway til at køre i Internet Explorer 11. Der er ikke problemer, når jeg gør det samme på en Windows 7, 32 bit - også i Internet Explorer 11.
I 64 bit versionen fryser IE 11 konsekvent, når jeg tilgår gatewayen. Såvidt jeg kan se er det IE 32 bit versionen jeg bruger.
Skal der ikke stå 64 bit i IE under Hjælp > Om, hvis det er 64 bit versionen?