Re: [libvirt] [PATCH 00/14] Another round of CPU driver changes