Acho que resolvi isso. Eu corri o seguinte comando:
echo performance > /sys/devices/system/cpu/cpu1/cpufreq/scaling_governor
E depois os outros dois comandos na minha pergunta original. Parece funcionar bem até eu dormir o laptop. Eu estou querendo saber se o governador de escala foi realmente definido como rick_perry
.