Print upper 32 bits in devmap table entries

If the devmap entry uses the upper 32 bits they wouldn't be printed in
devmap_dump_table(). This fixes that.

Submitted by: Nicholas O'Brien <nickisobrien_gmail.com>
Sponsored by: Axiado