default kernel

[Tom Horsley]

I got a kernel update in my F21 Branched system recently,
and I just noticed that the default boot is still set
to the original kernel.

There is all kinds of cryptic gibberish in grub.cfg
dealing with the environment file and saved entries
so I can't even tell exactly where the heck the default
is coming from, but the default selected in the menu
when I boot is the older kernel, so where ever it
is coming from, it is the wrong choice :-).

Is this a bug, or some sort of feature?