perf_counter tools: Handle kernels with !CONFIG_PERF_COUNTER