[coreboot] Patch merged into coreboot/master: f33c9c4 buildgcc: Fix colors for dash