> Is there a way to get the old behavior (pre-F12) back with F12? Is this > just a bug, and should I file it as such? There is an /etc/sysconfig/kernel file which has an UPDATEDEFAULT=yes setting in it by default, perhaps setting it to "no" would make it leave the default alone? (I'm never sure exactly how all the grub updating stuff works :-).