hw/input/tsc2005: Convert a fprintf() call to trace events