No Fedora 19 kernel installed after Fedup upgrade

view story

http://forums.fedoraforum.org – I upgraded my system from Fedora 17 to Fedora 19 via a network fedup upgrade according to the instructions on the wiki (run fedup-cli --network 19, reboot and run the upgrade, and reboot into your new upgraded system). Everything seemed to go well during the upgrade ( escaped out of Plymouth and kept an eye on it, and nothing more than warnings about a few obscure config files being installed as configfile.rpmnew appeared) However, Grub did not give me an option to boot into a new Fedora 19 kernel, only my old Fedora 17 kernels. I ran a distro-sync, and that seemed to install the newer vers (HowTos)