Re: /proc/cpuinfo discrepancy