Re: [coreboot] Coreboot bug?