Gracias a todos! He borrado el kernel actual y me ha funcionado, la verdad que estaba un poco acojonado.
Muchas gracias por todo. Me interesa el kernel 4.2 para un hardware que tengo, como puedo saber cuando se añadira en el backport de jessie? Teneis alguna pagina o rss donde seguir esas cosas? Un saludo. -- Josu Lazkano