[coreboot] Re: GSoC 2023 participation