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 .