Profiling processes in Linux kernel