Depois de atualizar o kernel da minha amada máquina debian e rodar o update-grub, a nova opção do kernel aparece apenas nas opções avançadas e não na página principal.
No arquivo /boot/grub/menu.lst eu não encontrei como ou onde editar as opções avançadas. ... Esta questão pode ser endereçada em outro lugar além do grub.
Obrigado
Instale o grub-customizer !
Você pode então selecionar a opção e movê-la para fora da pasta de opções avançadas usando as setas no canto superior direito. Então apenas certifique-se de salvar.
O Grub-customizer também é uma ótima ferramenta para adicionar entradas e temas de menu personalizados ao grub2.