Je n’ai pas encore eu le temps de tester la méthode proposé sur le forum de Debian. Je le ferais probablement demain soir. Si tu souhaites tester avant, la procédure est :
- Monter la carte SD dans un ordinateur.
- Se rendre dans le répertoire
/boot
de la carte SD. - Faire la commande suivante (je ne sais pas pourquoi il fait un dd, et pas simplement un cp)
dd if=boot.scr of=boot.script bs=72 skip=1
- Éditer le fichier boot.script pour remplacer la ligne
setenv fk_kvers '4.9.0-8-armmp'
par
setenv fk_kvers '3.16.0-6-armmp'
- Terminer par la commande
mkimage -C none -A arm -T script -d boot.script boot.scr
Toutes ces commandes doivent être effectuées par un super utilisateur.
Avant de le faire, je ferais une sauvegarde de ma carte avec dd. Je vous tiendrais au courant.