Re: [PATCH v1 4/4] qemu_domain.c: do not launch ppc64 guests with Hyperv settings