>To find what causes this it would be really good if you could do some
>kernel profiling. This is not hard at all:

As a side note: Would you be interested in putting up a web page about
how to do kernel profiling?  I didn't know how until right now :-)

I'll even contribute a web page on running kgdb :-)

--Ken