Eu consegui resolver isso, foi muito bobo.
Eu usei boot-repair
para restaurar a partição EFI.
Eu criei uma partição FAT32 de 230 MB na cabeça do disco e marquei como inicialização usando gparted
. Depois disso, o boot-repair
ainda estava reclamando sobre a falta da partição EFI ("Sua inicialização do sistema está no modo efi mas nenhuma partição efi foi encontrada. Você pode querer tentar novamente após criar uma partição efi (fat32, ~ 100-200mb, cabeça de disco, flag de inicialização) "
Aparentemente, não é suficiente ter a partição conforme exigido pela mensagem de erro. Então, fiz isso:
sudo mount /dev/sda4 /media
sudo mkdir /media/EFI
em seguida, o reparo da inicialização encontrou corretamente sda4
como a partição para instalar o grup EFI e tudo funcionou bem.
Não sei se é relevante, mas também instalei o pacote grub-efi-amd64-signed
em algum momento.