fc 18 kernel not installed

view full story

http://forums.fedoraforum.org – I upgraded fc 17 to fc 18 using fedup (I also did the yum clean all prior to the upgrade and a distro-sync after). The fc 18 kernel was not installed, all other packages are fc 18, except the kernel which is the most recent fc 17 one. Which kernel is the correct version to install? (HowTos)