Re: [coreboot] t420 MCE and crashing with ivy bridge cpu