Trying to update the PIC32 port / INSN_MIPS16

[Luke A. Guest]

Hi,

I've taken the source from github for the open PIC32 compiler/tools,
I've gone through patching the latest binutils with the pic32 specific
code.

I've found that INSN_MIPS16 was removed, yet PIC32 still uses it in
opcodes/mips-dis.c:

  { "pic32mx",  1, bfd_mach_pic32mx, CPU_MIPS32R2,
    ISA_MIPS32R2 | INSN_MIPS16,
    mips_cp0_names_mips3264r2,
    mips_cp0sel_names_mips3264r2, ARRAY_SIZE
(mips_cp0sel_names_mips3264r2),
    mips_hwr_names_mips3264r2 },

Is this actually required?

Thanks,
Luke.