Re: [Kimchi-devel] [PATCH 2/2] Use ppc64_cpu values to retrieve max vcpu value