Distributed kernel tracing