On Sun, 19 Dec 2010 10:34:55 +0100, Paul Sohier wrote: > I just compiled a new kernel last night, and it does indeed work. Should > I report this as bug to the kernel in Debian? Yes, I would first make a search in Debian BTS for any similar issue and if not listed, I'd report it against the kernel component. Greetings, -- Camaleón