76c35ba80f
the host MSR and masking off features that aren't supported. Linux reads this MSR to detect if NX has been disabled via BIOS.