mips-opc.c:_print_insn_mips decides which register naming convention
to use obtaining a pointer to the bfd from the first symbol in the
symbols field from the disassemble_info argument, and then looking for
ABI information in the ELF headers.  Unfortunately, gdb doesn't set up
symbols, so we end up always using the o32 register naming
convention.  This patch arranges for the information the disassembler
uses to be passed to it, in an admittedly ugly, but effective way.  Ok
to install?