oktw says to #ysitd <petjelinux>: http://askubuntu.com/questions/532109/xen-hypervisor-wont-boot-from-grub-and-cant-find-hypervisor-information-in-sys