target-mips: fix wrong microMIPS opcode encoding