check for $have_proc_cpuinfo and give instructions where it is available