Re: [coreboot] Stops at 0xD2