Re: [libvirt] [Patch V2] Fix initialization of current vcpus in libxl driver