forwarded 290997 http://bugzilla.kernel.org/show_bug.cgi?id=13889 thanks I just opened the same bug on the Linux kernel bug tracker, as suggested by Debian package maintaner. Bye, Giuseppe