Use inttypes format specifiers for logging values

GCC and armclang uses different uint32_t types which makes it impossible
to use standard format specifiers to satisfy both compilers. Move to
inttypes.h macros to handle it in a portable way.

Change-Id: If85e1148d302b64660af66d8f462efba9ac5d86b