Here is one more way to find out how many CPUs are used by Linux:
cat /proc/cpuinfo | grep “^vendor_id” | wc -l
As for me I use this way to make sure that SMP kernel should be installed.
You’re welcome to suggest your ways of doing the same in comments. Thank you in advance!