Print the card relative address in hex, because that's what all the
other debugging output does (when it appears in command arguments,
for example).