Rather than multiplying sockets, cores, and threads use the new helper
for getting the vcpu count resulting from the topology.