Embora eu não possa explicar por que o kernel mais novo não estava inicializando automaticamente, o kernel inicializado pelo GRUB é definido em /boot/grub/grub.conf usando default=<menu entry number> , onde a contagem começa em 0. Neste caso específico, default=1 irá inicializar o seu kernel desejado.