[coreboot-gerrit] Patch merged into coreboot/master: deaaab2 arch/mips: Fix bug when performing cache operations