Use PRIx64 when printing addr_t's.  Don't need to force full-width 0 padding
with addresses that aren't designed to be column-aligned across multiple lines.