I think you're right. I did change the kernel though, and besides the problem desappeared I can't get it to boot again. It doesn't matter, I'll keep on testing. Thanks for the interest.