Changes to fix bugs in the support of topologies of 1 socket with hyperthreading