MIPS/opcodes: Correct mixed MIPS16 and microMIPS disassembly