Fix warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]

As previous commit, this code assumed pointers are unsigned int, for display
purpose. Replaced the cast with the native '%p' token from
NSMutableString::appendFormat that's provided for pointer address output.