[coreboot] [Fwd: Re: lots of compilation failures in abuild on x86-64]