Should you ever need it again: $ grub2-once --list will show all the entries $ grub2-set-default <number> from the listing above will set the kernel as permanent default. If you're not sure if the new kernel boots, set the default to some working one and do $ grub2-once <number>