[coreboot] Re: Coreboot Machine-Check Exception