Tidy objdump printing of section size

	* objdump.c (load_specific_debug_section): Use PRIx64 format.
1 file changed