tracing: Fix outputting formats of x86-tsc and counter when use trace_clock