Reset the CPU speed to "ondemand" after benchmarks

cpu-default-mode.sh

#!/bin/bash

# sudo apt-get install cpufrequtils

sudo cpufreq-set -c 0 -g ondemand
sudo cpufreq-set -c 1 -g ondemand
sudo cpufreq-set -c 2 -g ondemand
sudo cpufreq-set -c 3 -g ondemand
sudo cpufreq-set -c 4 -g ondemand
sudo cpufreq-set -c 5 -g ondemand
sudo cpufreq-set -c 6 -g ondemand
sudo cpufreq-set -c 7 -g ondemand
sudo cpufreq-set -c 8 -g ondemand
sudo cpufreq-set -c 9 -g ondemand
sudo cpufreq-set -c 10 -g ondemand
sudo cpufreq-set -c 11 -g ondemand