For VirtualBox, enable CMPXCHG16B instruction so Windows 8.1/Windows Server 2012 R2 will boot successfully