Re: [Fedora-xen] Updating xen package does not 'refresh' grub.cfg