Re: [coreboot] Issue report