TF-M examples: Print pointers consistently with all compilers

The format specifier `%p` causes GCC to prepend `0x` and the Arm
Compiler not to. To print consistently, use the standardized `PRIxPTR`
from C99.

Signed-off-by: Lingkai Dong <lingkai.dong@arm.com>