Re: [coreboot] failing ref on the KGPE-D16