Problemas na seleção do kernel no GRUB2 (RESOLVIDO)

Olá.

Eu havia instalado, faz um tempo, um kernel pelo backports (4.1), mas agora quero que o default seja o kernel corrente do debian (3.16). Estou tentando ver isso no grub, mas sem sucesso, o default é sempre o 4.1

Tentei dessa forma:

Alterando o GRUB_DEFAULT=0 (tentei o 0, 1, 2 e 3) (lá no /etc/default/grub)
Fazendo depois o update-grub (tentei também o grub-mkconfig -o /boot/grub/grub.cfg)

Aqui um exemplo de como está meu grub.cfg:

[yzak@benedita ~]$ grep menuentry /boot/grub/grub.cfg 

if [ x"${feature_menuentry_id}" = xy ]; then                                                                                                                           

  menuentry_id_option="--id"                                                                                                                                           

  menuentry_id_option=""                                                                                                                                               

export menuentry_id_option                                                                                                                                             

menuentry 'Debian GNU/Linux' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-b7cb1f73-a052-4000-81c4-eb4a9c7e0925' {

submenu 'Opções avançadas para Debian GNU/Linux' $menuentry_id_option 'gnulinux-advanced-b7cb1f73-a052-4000-81c4-eb4a9c7e0925' {

        menuentry 'Debian GNU/Linux, com o Linux 4.1.0-0.bpo.2-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.1.0-0.bpo.2-amd64-advanced-b7cb1f73-a052-4000-81c4-eb4a9c7e0925' {

        menuentry 'Debian GNU/Linux, with Linux 4.1.0-0.bpo.2-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.1.0-0.bpo.2-amd64-recovery-b7cb1f73-a052-4000-81c4-eb4a9c7e0925' {

        menuentry 'Debian GNU/Linux, com o Linux 3.16.0-4-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-amd64-advanced-b7cb1f73-a052-4000-81c4-eb4a9c7e0925' {

        menuentry 'Debian GNU/Linux, with Linux 3.16.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-amd64-recovery-b7cb1f73-a052-4000-81c4-eb4a9c7e0925' { 

Alguma ideia?

O arquivo a ser modificado é /etc/default/grub.

----------------------------------------------------------------------------------------------------------------
http://24.media.tumblr.com/tumblr_m62bwpSi291qdlh1io1_250.gif

Esqueci de dar esse detalhe, vou editar no post. Mas onde eu edito o default é justamente nesse arquivo. Fiz o list do grub.cfg só pra dar uma ideia do que tenho.

Em caráter de urgência a minha solução foi excluir o kernel 4.1 e colocar o default do grub como 0.

Perfeito.

----------------------------------------------------------------------------------------------------------------
http://24.media.tumblr.com/tumblr_m62bwpSi291qdlh1io1_250.gif