Fix getting the right amount of processors from /proc/cpuinfo