print_insn_* routines want bfd_vma, not CORE_ADDR