[coreboot-gerrit] Patch merged into coreboot/master: fc934b2 mips: add c0 register access plumbing