On 16 August 2012 15:16, Felipe Contreras <felipe.contreras at gmail.com> wrote: > My problem with CONFIG_HZ exists > independently of whether you experience the problem yourself or not. I guess you've reported it to kernel devs, right...?