Muchas gracias! Gracias a http://snapshot.debian.org he podido instalar un kernel 4.4. Saludos a todos. -- Josu Lazkano