Re: [coreboot] Post code 0x80