Re: [coreboot] Problems building coreboot 4.6 (was: problems with kgpe-d16)