set reasonable default max perf frequency
set reasonable default max perf frequency

if linux does not provide a max perf frequency, choose a reasonable value.

HPCToolkit/hpctoolkit,HPCToolkit/hpctoolkit,HPCToolkit/hpctoolkit,HPCToolkit/hpctoolkit,HPCToolkit/hpctoolkit,HPCToolkit/hpctoolkit