Fixed casting int to pointer in logging code. Previously ints where printed as pointers and the %p format specifier was used for convenience to get hex output. This change uses %x and also gets rid of the casts. Change-Id: Ia2539769d245f50c0f3884119f80682defe69d61