Changed a command in Makefile to detect # of sockets: if the
/proc/cpuinfo contains no infomation about sockets, N_SOCKETS should
be set to 1.