Maintenant, dans le dossier /boot/efi/EFI/Boot/, il devrait déjà y avoir un fichier présent-
bootx64.efi