[coreboot-gerrit] Patch set updated for coreboot: c8cf677 build: don't call $(CC) -print-libgcc-file-name twice