Recentemente, tentei reconfigurar o GRUB para inicializar o kernel 3.2 em vez de 3.4, mas inicializando, o GRUB não está respondendo a nenhuma alteração que eu faça no arquivo grub.cfg . Editar /etc/default/grub e atualizá-lo com update-grub não traz erros nem alterações e termina com done. . O Kernel 3.4 está sempre inicializando, o que eu fizer. O Google está sem palavras.
A entrada do menu grub padrão pode ser alterada usando o arquivo GRUB_DEFAULT in /etc/default/grub .
Se a entrada do kernel 3.2 estiver na 7ª posição - a maneira mais fácil de definir como padrão seria fazer a seguinte alteração em /etc/default/grub :
GRUB_DEFAULT=7
E, em seguida, executando sudo update-grub2 para atualizar a configuração do grub.
Se você realmente tem o kernel versão 3.2 instalado em seu sistema, ele será adicionado ao menu grub automaticamente depois que você fizer
sudo update-grub
Espero que isso ajude.