Originally Posted by Kakao
Kernel 3.4.6-2 is installed but it does not appear as boot option although there is an entry in /boot/grub2/grub.cfg
I've been playing around with Fedora 17 for a day or so and noticed that, too. I did find a boot menu entry for the new kernel in "Advanced options for Fedora". I had already tried the grub2-mkconfig idea. It did not change the situation for me.
P.S.: I just checked again, and the new kernel now is
booted by the Fedora menu entry at the top. Maybe the grub2-mkconfig thing did
fix it. Thinking about it more, I don't trust my memory of this event at all now. I regret posting here now. Sorry. I hope you get yours fixed the way you want it.