kernel: make tracing support configurable