[coreboot-gerrit] Patch set updated for coreboot: buildgcc: Add 'nocolor' option to remove color codes from output