Hi there, I'm very very sorry, I've been wasting your time. 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.
Sorry once again for the mistake, and if you want me to test anything else just ask... Best regards, -- Marcos Marado -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org