[coreboot-gerrit] Patch merged into coreboot/master: 31bf37e crossgcc: Improve compatibility of the toolchain across host systems