Eu editei /boot/grub/grub.conf e adicionei nohz=off à linha de comando do kernel padrão.
Eu não vejo nenhuma diferença, o kernel é compilado com 1000Hz, mas quando eu testo com a seguinte ferramenta: link
Relata apenas uma frequência de interrupção de 500Hz.
dmesg | grep nohz mostra apenas o comando de inicialização do kernel.