Re: [coreboot] New user of KGPE-D16