[coreboot-gerrit] New patch to review for coreboot: a47eac1 build: don't call $(CC) -print-libgcc-file-name twice