You can configure what frequency you want by editing /etc/kernel-dt-tunables and running "/etc/init.d/kernel-tunables restart"