Re: [PATCH v1 3/4] qemu_domain.c: do not launch ppc64 guests with 'pmu' setting