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