Right now we still have uses of os.cpu_count() in scripts, while that function returns the number of cores that may be inflated by SMT technologies (Intel Hyper-Threading and friends). In some places it's compensated for by dividing the number by two — that means machines with SMT disabled in the firmware settings appear to have only half as many cores as they actually do.