[coreboot] Patch merged into master: 6bd82fc buildgcc: improve portability