Re: [coreboot] new problem with KGPE-d16