[coreboot] Re: Need help with getting KGPE-D16 working.