Re: [libvirt PATCH 4/9] Jailhouse driver: Implementation of DomainCreate* callbacks