[coreboot] Trouble building coreboot/SeaBios