xen: Fix for server crash