Josu Lazkano Tue, 29 Dec 2015 06:51:17 -0800
Podeis reportarlo al grupo de correo de debian-kernel. Seguro que os ayudan.
Saludos. -- Josu Lazkano