[coreboot-gerrit] Patch set updated for coreboot: c3c479d build system: mips is a valid nickname for mipsel