[coreboot] Re: April 10 and April 24 coreboot leadership meeting minutes