(maybe a default kernel would work, but I haven't got one around)

No, I think it might have something to do with the way the kernel is built. Richard sent me a "plain vanilla" kernel that he compiled, and it induced the bug. The kernel I got from Brian never induces the bug, despite having several major modifications.

___________
Tony Fabris