Refactor: Use the "#" format specifier in printf.

This does the same thing as adding "0x" to the front of the string,
except the library will do it for you. Also, change a "0x%p" to just
"%p", since that format specifier will add the "0x" as well.