tracing: Use seq file for trace_options