On Mon, 18 Aug 2014 07:59:53 -0500
Bruno Wolff III wrote:
Normally whether to use the lastest or previous kernel by default is
set in /etc/sysconfig/kernel.
Well, I finally got a chance to check that file and it says:
UPDATEDEFAULT=yes
DEFAULTKERNEL=kernel-core
Not sure what the kernel-core setting means, but it definitely
looks as if UPDATEDEFAULT=yes was ignored.