POK_NEEDS_X86_VMM used as guard