Eu suspeito que você tenha um processador de freqüência variável que está configurado para "ondemand" no Debian e "performance" em Arch.
Você pode modificá-las diretamente escrevendo novas configurações em /sys/devices/system/cpu/cpu*/cpufreq/scaling_governor
, usando um comando como cpufreq-set
ou uma GUI como indicator-cpufreq
.