note rump kernel on top of Xen