Acontece que o reparo de inicialização repara os arquivos grub, arquivos EFI locais e apenas o particionamento. Mas o que ele não faz é alterar o firmware UEFI para adicionar a nova opção de inicialização UEFI, que foi removida quando eu redefinir o BIOS para os padrões. Felizmente me deparei com efibootmgr para fazer exatamente isso (que é usado pelo reparo de inicialização para delinear as opções de inicialização).
Aqui está o comando que usei para restaurar a entrada de inicialização:
efibootmgr -c -d /dev/sda -p 1 -L "Ubuntu Main" -l "\efi\ubuntu\grubx64.efi"
-
-d /dev/sda -p 1
equivale a dizer que minha partição / boot / efi é / dev / sda1 -
-L
é apenas uma string arbitrária usada para lembrar qual opção de inicialização você acabou de adicionar -
-l "\efi\ubuntu\grubx64.efi"
é um arquivo real que vincula sua opção de inicialização aos arquivos de inicialização reais.
Aqui está o layout do meu arquivo:
# ls -R /boot/efi/
/boot/efi/:
EFI
/boot/efi/EFI:
ubuntu
/boot/efi/EFI/ubuntu:
grub.cfg grubx64.efi MokManager.efi shimx64.efi
Crise evitada!