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 .