Re: [coreboot] coreinfo: Build system fixes