Normalmente, a seleção do kernel é feita via grub
para a maioria das instalações. Se você entrar:
sudo update-grub2
você deve ver quais kernels considera viáveis para seleção. A menos que você o tenha personalizado, o primeiro kernel listado deve ser aquele selecionado no momento da inicialização.
Se você olhar para /boot/grub/grub.cfg
, verá a configuração grub
completa para os kernels testados, se precisar solucionar mais. É um pouco densa de um arquivo de configuração, no entanto. Para ver as configurações, você vai querer ver /etc/default/grub
e os arquivos dentro de /etc/grub.d
.