[coreboot] Re: coreboot leadership meeting minutes for May 8 & May 22