Re: [coreboot] Trouble building coreboot/SeaBios