Re: [PATCH 0/7] consider available CPUs in vcpupin/emulatorpin output