I have the 25 kernel, using ideal settings, but my n900 idles at 500mhz? Is that correct....or how do I make it idle at the default 250mhz?