[coreboot] Re: 2023-08-23 - coreboot Leadership meeting minutes