profiling the kernel