Symbol: IA32_MISC_MWAIT_EN