Andres Järv wrote:
What if the kernel fails? Isn't it good then to have another one in the Grub menu?