mips: turn off MicroMips by default
2 files changed