Manuel Bouyer wrote:
> Maybe the bug has been fixed since then, using an older kernel would allow
> you to rebuild one from newer sources.

Yes, rebuilding the kernel from newer sources solved the problem.
Thanks very much, somehow I couldn't find this obvious solution
by myself :)

Werner