Hyper-threading, when enabled, makes the number of processors two
times the number of physical cores.
Member function getCpuPhysicalCoreCount() is introduced to get the
number of physical cores and it is used in "Dashboard" but not in
"Resources".
The way it works is that it counts the number of unique physical
id, core id pair in /proc/cpuinfo.