Uma solução alternativa descrita aqui :
em /etc/defaults/grub
, adicione vga=normal
ao parâmetro addendum do kernel do linux, ou seja, substitua
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
que é o valor que a distribuição define, com
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash vga=normal"
Vou ter que admitir que tentei isso apenas ao desativar a tela inicial (ou seja, remover splash
), e isso funcionou.