MSR_F15H_IC_CFG
if (!rdmsrq_safe(MSR_F15H_IC_CFG, &value) && !(value & 0x1E)) {
wrmsrq_safe(MSR_F15H_IC_CFG, value);
case MSR_F15H_IC_CFG: {