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