Make kernel tracing optional