[libvirt] [PATCHv2 0/3] Fix output of virsh vcpuinfo after cpu hotplug