Re: [libvirt] [PATCH] cpu: Fix segfault in the ppc64 driver