simplesmente /boot/grub/grub.cfg
(se eles estiverem usando o grub)
escolha como opção padrão do kernel o kernel em execução,
se você também tem que mapear o initrd
associado ao kernel que você escolheu
para visualizar a versão atual do kernel uname -a
para ver quais outros kernels estão instalados ls /boot/