[coreboot-gerrit] Patch set updated for coreboot: d871760 build system: use archives, not linker action to shorten command lines