Voici les liens qui peuvent aider:
--->
https://backports.debian.org/Instructions/--->
https://www.kernel.org/Pour installer un noyau plus récent en Jessie stable,il faut se servir des dépôts "Backports, rétroportés.......reconnaissables à l'extension XXXXX.bpo.
Pour ma machine, je me suis servi de la commande:
apt-cache search linux-image | grep amd64 .....sans juger utile d'utiliser un noyau sécurisé de type XXXXXX.grsec.
Sinon voici une autre démarche:
- Créer un dossier kernel dans son /home
- Y télécharger les 3 fichiers correspondants à son architecture (dans mon cas amd64 )
--------->le header "all" : linux-headers-XXXXX_all.deb
----------> le header "genéric" correspondant (64 bits pour moi)
----------->l'image "généric" adéquate.
-Ouvrir un terminal dans le dossier /home/"nom-utilisateur"/kernel précédemment crée
- Lancer la commande avec les droits root
sudo dpkg -i *.deb
Tout se mettra en place , Grub compris.........mais il faut quand -même surveiller ce que renvoie la machine et penser à un peu de ménage final .
Ne pas oublier que SYNAPTIC reste plutôt un ami
.
J'aime bien lui faire confirmer les manips trouvées sur les forums
