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