I do not like the implementation of the profiling
buffer. It covers the full address space of the
kernel without taking into account that the kernel
does not starts at 0x0. Therefore, it wastes about
0x10000 bytes (about 1 Mb). I have a fix for this
but it might not be portable to ALPHA and so on.
I want to know if this caveat is going to be fixed.
It is really easy to fix it.