systemctl reboot --firmware-setup
deve fazê-lo.
Caso você não esteja usando o systemd, as coisas ficam mais complicadas e dependem do seu gerenciador de inicialização:
-
Se você estiver usando o GRUB 2 como bootloader (acho que o Ubuntu e seus amigos ainda usam), você pode acessar a configuração do firmware pressionando 'c' no menu de inicialização do GRUB e usando o comando
fwsetup
quando ele fornece um prompt de comando. -
Se for algum outro gerenciador de inicialização, você pode ser capaz de dizer ao sistema para reinicializar a configuração do firmware usando o comando
efibootmgr
, embora isso só funcione em alguns sistemas. -
Se tudo mais falhar, você pode (em teoria) definir diretamente a variável EFI apropriada através de
/sys/firmware/efi/vars
, embora eu não saiba qual é o nome da variável.