Marcos Marado wrote: > I finally got some time to test this, so I fired up the machine and... > the problem was gone. The silly thing that happened was that when > trying the new-compiled kernel, I chose the wrong one at boot time, so > I was sure I was testing the new kernel but I wasn't at all... Seems > that, after all, using patch 1 and 2 but not 3 was a solution after > all. Oh, excellent! Thanks, Marcos. That's a comfort.