I believe we set up our new laptops running Windows 7 to run in 32 bit mode when using VMMI