Re: [coreboot] MSR discrepancies