Parece que você atualizou o arquivo /etc/default/grub
sem executar update-grub
depois (no meu Ubuntu 12.04 que é explicado no topo desse arquivo).
Somente após executar update-grub
estes parâmetros são copiados em suas linhas de comando apropriadas no menu Grub ( /boot/grub/grub.cfg
)
Além disso, você deve tomar cuidado, caso tenha várias instalações do Linux, a alteração de qualquer coisa não terá efeito, a menos que você edite os padrões e execute update-grub
na instalação de inicialização do seu computador. Ou seja aquele que o último grub-install
com sua unidade de inicialização como destino foi executado.