Странное поведение менеджера окон

Это установит вашу частоту cpu на максимальную скорость с любого терминала:

sudo cpufreq-set -f `cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_max_freq`

Отредактируйте файл /etc/init.d/ondemand, чтобы надолго добавить это. ondemand используется для изменения частоты во время входа в систему. По умолчанию используется регулятор ondemand. Другими словами, вы начинаете с 800 МГц и поднимаетесь по мере необходимости.