[coreboot] Re: KGPE-D16 maintainership