[Bug 208380] XEN is not added to GRUB's menu