Jean-Marc a écrit :
>
> La solution est venue d'un démarrage à partir de la clé d'install' en
> mode rescue et une réinstallation forcée de GRUB utile de temps en temps
> pour résoudre les boots EFI un peu pourris/buggés.
Si le problème était que le firmware EFI avait perdu l'entrée d'amorçage
pour Debian et s'il risque de se reproduire, il peut être judicieux de
demander à GRUB de s'installer dans le "chemin de périphérique
amovible", expression désignant l'emplacement du chargeur EFI par défaut
que le firmware est censé rechercher sur tout périphérique en l'absence
d'entrée d'amorçage valide dans les variables EFI.
En gros, ça fait une copie de /boot/efi/EFI/debian/grub{x64|ia32}.efi en
/boot/efi/EFI/boot/boot{x64|ia32}.efi
