[coreboot] R: Re: BIOS log in coreboot