I have have installed
sudo dnf install kernel-5.15.6-200.fc35
and it completes without error.
The problem is that I do not see the new kernel as an option during system boot.
When I execute the command
ls /boot | grep '^vm'
I see
vmlinuz-5.14.10-300.fc35.x86_64
but I do not see an entry for kernel-5.16.6.
I have tried uninstalling and reinstalling the new kernel, but that has not fixed the
problem.
What should I do to get the option to boot the new kernel ?