ddb: fix show devmap output on 32-bit arm

The output has been broken since 1b6dd6d772ca. Casting to uintmax_t
before the call to printf is necessary to ensure that 32-bit addresses
are interpreted correctly.

PR: 243236

(cherry picked from commit 9976b42b697ce203b1d257b2a6fe64c8a2961645)