[coreboot] Re: Change in coreboot leadership