Re: [coreboot] problems with kgpe-d16