ARM: idmap: cleanup pr_info

It's cleaner to simply print the info messages in the callers and
there's no reason to convert 32-bit values to 64-bit values.

Signed-off-by: Christoffer Dall <c.dall@virtualopensystems.com>