Are both the 32 bit and 64 bit versions of Windows 7 supported?