[coreboot] Re: Trouble building coreboot early stages