Re: /proc/cpuinfo versus /proc/softirqs: how to properly count CPUs?