That might be why some manufacturers decided to disable 64-bit support on them, which as it turns out, is another MSR you can do a BIOS mod to unlock.