enabled xen guest support in kernel
todo tweaks