return number of sockets in read_cpuinfo