Re: profiling the kernel