UEFI : impossible de changer l’ordre du boot

Un de mes collègues a rencontré un problème sur son ordinateur Hewlett-Packard. Après une installation fraîche de Debian, il ne pouvait pas modifier l’ordre du boot dans l’UEFI. Résultat, l’ordinateur cherchait systématiquement à démarrer sur la clé USB d’installation, même quand elle n’est pas présente. Il était obligé de modifier l’ordre du boot dans l’UEFI à la main à chaque démarrage.

La solution ne se trouvait pas dans l’UEFI mais dans Debian. Il est possible d’y forcer l’ordre du boot de l’UEFI. D’abord on liste les boots possibles :

efibootmgr
BootCurrent: 0000
Timeout: 5 seconds
BootOrder: 0007,0004,0005,0003,0000
Boot0000* Intel Corporation: Realtek PXE B01 D00
Boot0003* SK hynix BC501 HFM256GDJTNG-8310A-NN95N694013905P6U
Boot0004* Pen Drive CE775CCD63720020
Boot0005* Pen Drive CE775CCD63720020
Boot0007* debian

Celui qui nous intéresse ici est Boot0007. Pour l’activer :

efibootmgr --bootorder 0007

C’est ironique de voir qu’on est obligé de passer par le système d’exploitation pour paramétrer l’UEFI, alors que la raison principale de sa création est d’empêcher que le système d’exploitation ne puisse modifier le démarrage de l’ordinateur.