I updated a system to Fedora 34, and something went wrong. During the update I saw some “No space left on device” messages, and after rebooting the F33 kernel was still running and there were a mix of F33 and F34 packages installed. I deleted some files in /var and ran ‘dnf system-upgrade download’ and ‘dnf system-upgrade reboot’ again.
Now I have what appears to be a mostly F34 system (there are a handful of F33 packages still installed, perhaps ones that have no F34 equivalents).
I have an F34 kernel installed (according to ‘rpm -q kernel’), but it isn’t listed on the boot menu. I tried updating grub with ‘sudo grub2-mkconfig -o /boot/efi/EFI/fedora/grub.cfg’ but that didn’t fix it.
How do I get the F34 kernel added to the boot menu?