Grub2 default boot post F18 kernel update to 3.7.5

view story

http://forums.fedoraforum.org – I have just updated my kernel to 3.7.5 due to software issues with DKMS, VirtualBox and the previous kernel not working (although I suppose the reason is somewhat irrelevant). Since then, Grub2 has the old (what shipped with F18 / was updated with yum) kernel as the default, and looks similar to: Fedora 3.7.5 Fedora 3.7.4-204.F18.x86_84 other options I've tried rebuilding Grub2 with grub2-makeconfig -o /boot/grub2/grub.cfg (I basically followed Fedora's Guide and have event tried changing the name of files in /etc/grub.d (as suggested here). It looks similar to: 00_header (or something) 10 (HowTos)