Depuis le système d'exploitation, il est possible de modifier la configuration du démarrage UEFI avec la commande efibootmgr.
Passer le timeout à 10 secondes avant de lancer
efibootmgr --timeout 10
Pour ajouter une entrée dans les options de démarrage :
efibootmgr --create --disk /dev/sda --part 1 --label debtest --loader '\EFI\debian\grubx64.efi' # équivalent options courtes efibootmgr -c -d /dev/sda -p 1 -L debtest -l '\EFI\debian\grubx64.efi'
Pour modifier l'ordre de boot on copie l'ordre de boot actuel affiché via l'option -v et on redéfinit la séquence comme souhaité avec l'option -o ou --bootorder
# l'option contient la nouvelle séquence complète efibootmgr --bootorder 0001,0000,000E,000A,000B,000C,000F,000D