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/