For some reason, grub.conf was not updated. Still tried to boot old F12 kernel (which of course wasn't there). Any info I can provide that would help to diagnose?