Fix pib_debugfs.c's bug that the execution tracer uses seq_file in an incorrect way