> IMHO these kind of options don't even make sense. If the user needs to
> change the kernel, it could do it with the grub editors that sometime
> ships
> in distros or just use the keyboard error. This has been a feature that
> has
> confused me since KDE 3.2
>
> Best regards,
> Tiago

Agreed.  A typical user should not even be able to change this except at
boot, as it would be possible (for example) to select an older kernel
containing a security vulnerability to be used at the next machine
restart.  I don't know if this honors any GRUB passwords; if it does (or
requires root access) then my scenario is rendered invalid of course. ;-)

From a usability standpoint, can we state categorically that anyone who
wants to select the specific kernel to use should know how to select the
correct kernel at system startup?  Does this option make it more
convenient, and therefore remain relevant (e.g. select a new kernel,
reboot, and go get coffee while the machine is rebooting instead of
lingering around waiting for the GRUB prompt)?

Tim