grub e linux 3.2

[Fred Maranhão <fred.maranhao@gmail.com>]

Caros,

tenho o linux 3.12, 3.10 e 3.2 numa máquina e queria que o núcleo
padrão (ou kernel default) fosse o 3.2.

Editei o /etc/default/grub e troquei

GRUB_DEFAULT=0

por

GRUB_DEFAULT=4

e rodei update-grub2.

não funcionou. rodei o update-grub e também não funcionou (um é link
para o outro). ainda está subindo o 3.12.

verifiquei o /boot/grub/grub.cfg e tem a linha

set default="4"

próximo ao começo.

estou fazendo algo errado? tem que fazer algo mais além de rodar o update-grub?

fred