use awk instead php parse cpuinfo