[coreboot] Re: 2023-09-20 - coreboot Leadership meeting minutes