En effet il faudrait approfondir ce point.
Chez moi, pour le F19 rawhide, j'ai fait aujourd'hui une mise à jour du kernel, et au redémarrage pas de soucis, ce nouveau kernel se trouve bien en tête de grub et se lance sans soucis.
Je résume ce que j'ai fait :
Tout d'abord, j'ai démarré sur ma F19 et j'ai fait un :
grub2-install /dev/sda2 --force
J'ai redémarré sur ma F18, j'ai déplacer le fichier /etc/grub.d/30_os-prober dans /etc/grub.d/tmp/30_os-prober
et j'ai ajouté les lignes suivantes dans /etc/grub.d/40_custom :
menuentry "Fedora 19 rawhide" {
insmod ext2
set root=(hd0,2)
chainloader +1
}
J'ai ensuite fait en root :
grub2-mkconfig -o /boot/grub2/grub.cfg
Au redémarrage, j'ai bien une entrée qui pointe sur le grub de ma F19 rawhide
La seule différence que je vois avec toi, c'est que je n'ai pas utilisé le DVD de Fedora 18 pour faire le grub2-install, et je viens de voir un bug s'y rapportant :
https://bugzilla.redhat.com/show_bug.cgi?id=886502