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