[coreboot] New patch to review for coreboot: f33c9c4 buildgcc: Fix colors for dash