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