Fixing xen emulation backend