Symbol: IA32_POWER_CTL_BD_PROCHOT