Lors d'une installation d'une distribution Linux sur ce type d'ordinateur, il n'est pas possible d'écrire le chargeur de boot sur le disque. La fin de l'installation se fige.

Pour pouvoir finir l'installation, il faut redémarrer sur un Live, passer en chroot et réécrire le chargeur de boot.

Une fois en Live, passer en chroot :

• Monte la partition root

 sudo mount /dev/sda2 /mnt

• Monte la partition /boot/EFI

 sudo mount /dev/sda1 /mnt/boot/efi/

• Monte la partition home

 sudo mount /dev/sda3 /mnt/home

• Monte les périphériques de l'ordinateur

sudo mount --bind /dev/ /mnt/dev/
sudo mount -t proc /proc/ /mnt/proc/
sudo mount -t sysfs /sys/ /mnt/sys/

• Aller dans le chroot

sudo chroot /mnt

• Installer le grub dans la partition boot

grub-install --no-nvram --boot-directory=/boot/ /dev/sda

• Mettre à jour le GRUB

update-grub

Le BIOS de ce portable n'accepte pas les dossiers atypiques de debian. Il faut que le chargeur d'amorçage soit dans un dossier nommé BOOT et que le fichier soit nommé bootx64.efi

cd /boot/efi/EFI
mkdir BOOT
cp -R debian/* BOOT/
cd BOOT
cp grubx64.efi bootx64.efi