xen backend fixes