Fix wring number of CPU sockets that was reporting the total number of cores. Thanks to Thomas Reiss for the report.