[coreboot] MSR discrepancies