Xen hypervisor support for rump kernels