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