Another one bites the dust. Architectures should be able to instead just set gdbarch_print_insn. I'll look to commit in a few days, Andrew