fix kernel profiling