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.