Em vez de desativar a inicialização rápida, você pode desmarcar o GRUB. Observe que isso também mostrará todas as mensagens de inicialização, em vez de mostrar a tela inicial do Mint. Em um terminal:
sudo -e /etc/default/grub
Comente (coloque um hash na frente) na linha GRUB_HIDDEN_TIMEOUT=0
. Altere também a linha GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
para GRUB_CMDLINE_LINUX_DEFAULT=""
, supondo que você não tenha outras opções lá. Se fizer isso, remova quiet splash
, mas cabe a você garantir que as opções sejam válidas.
Saia do editor com Ctrl-X, Y, Enter e sudo update-grub
.