[coreboot-gerrit] Patch set updated for coreboot: fafc5df build system: remove duplicate architecture list