[Bug 859361] New: incorrect kernel-xen entries in grub.cfg