Para listar o kernel que está em execução digite o seguinte comando:
uname -r
Para verificar a posição do kernel que deseja utilizar, digite o seguinte comando para visualizar as entradas no arquivo GRUB.
awk -F\' '$1=="menuentry " {print $2}' /etc/grub2.cfg
Para definir o kernel da posição 3 da lista como padrão (como exemplo) na inicialização, digite o seguinte comando:
grub2-set-default 3
