Re: [fedora-arm] Fedup fc17 -> Fc18 no grub boot menu?