Summary of changes: 9564746... Get CPU counts from /proc/cpuinfo (*) f4df965... Get correct CPU counts on non-x86 architectures dacce38... Merge branch 'master' into f16 (*) This commit already existed in another branch; no separate mail sent