Re: [coreboot] weird problem with KGPE-D16