[Bug 774666] grub2 does not offer a Xen entry after installing hypervisor and tools