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