[coreboot-gerrit] New patch to review for coreboot: 08cf241 build system: remove duplicate architecture list