Pessoalmente, eu não tocaria nos seus arquivos de configuração do GRUB. Em vez disso, adicionaria uma linha setfont
ao seu arquivo de inicialização do shell.
Por exemplo, se você estiver usando o Bash, peça a seguinte linha para .bash_profile
:
if [ $TERM = linux ]
then
setfont sun12x22
fi
Existem muitas fontes diferentes disponíveis; sun12x22
é apenas um exemplo. Veja a página setfont
man para mais informações.