MSR_IC_CFG
94, FALSE, MSR_IC_CFG, x86_errata_set1,
776, FALSE, MSR_IC_CFG, x86_errata_set12,
msr = rdmsr(MSR_IC_CFG);
wrmsr(MSR_IC_CFG, msr);
MSR_IC_CFG,