Fix division by zero issue when get_cpuinfo returns 0 for number of sockets.