Para que isso funcione para mim, eu segui as instruções em: link
Passos tomados por mim
Torne-se usuário root
su
Abra /etc/default/grub
.
Encontre GRUB_GFXMODE= ...
e altere para:
GRUB_GFXMODE=800x600
GRUB_GFXPAYLOAD=800x600x32
Edite o /etc/grub.d/00_header
Encontre if [ "x${GRUB_GFXMODE}" = "x" ] ;
e altere para:
if [ "x${GRUB_GFXMODE}" = "x" ] ; then GRUB_GFXMODE=800x600 ; fi
if [ "x${GRUB_GFXPAYLOAD}" = "x" ] ; then GRUB_GFXPAYLOAD=800x600x32 ; fi
Encontre set gfxmode=${GRUB_GFXMODE}
e altere para:
set gfxmode=${GRUB_GFXMODE}
set gfxpayload=${GRUB_GFXPAYLOAD}
Executar:
update-grub2
Contexto
Eu tenho esse trabalho hoje. Eu, portanto, não sei quão estável é a correção - em termos de atualizações sendo aplicadas ao grub ou ao kernel do Linux. Espero que alguém possa esclarecer se esses arquivos de configurações são sobregravados por atualizações.