I wonder if I am the only one who is not able to switch kernels in grub?
I have four lines but can’t pick another line than the upper one.
It seems that my keyboard is not working, I can’t use the arrow keys nor the page-up or down keys.
This used to work well in the past but stopped a few weeks ago.
I have to alter the grub.cfg if I would like to boot with another kernel.