Bug 994181: Tracelogger: convert integer to platform-specific pointer before writing it as a pointer; r=h4writer