Owing to their ARMv7 origins, the trace events are truncating most
address values to 32bits. That's not really helpful.

Expand the printing of such values to their full glory.
Signed-off-by: Marc Zyngier <maz@kernel.org>