bfd: verilog hex dump backend should handle 64-bit addresses