Fix output of pointers for 64bit devices.

Change-Id: I279c1cf8d4c126b98f4a92ca807ade3749d01ff0
1 file changed