Use the proper `%p` printf specifier when printing memory addresses, instead of casting to an integer, which may not be the same size as a pointer. Signed-off-by: Jordan Yates <jordan.yates@data61.csiro.au>