Я редактировал /boot/grub/grub.conf и добавил nohz=off в командную строку ядра по умолчанию.
Я не вижу никакой разницы, ядро скомпилировано с частотой 1000 Гц, но когда я тестирую с помощью следующего инструмента: http://www.advenage.com/topics/linux-timer-interrupt-frequency.php
Он сообщает только о частоте прерывания 500 Гц.
dmesg | grep nohz показывает только команду загрузки ядра.