invalid xen kernel in dom0 /boot/grub/grub.conf -- how can i fix it automatically?