[coreboot] Re: Question about PR