[coreboot-gerrit] New patch to review for coreboot: c6ce82b mips: add c0 register access plumbing