VMCMD_GET_VERSION returns ffffffff564d5868 in 64bit