Symbol: MSR_IA32_POWER_CTL_BIT_EE