Use of processor instead of core id to count CPUs