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