Is anybody else having problems using the setCPU profiles with an overclock kernel? If I don't use a profile, my phone gets hot in my pocket, if I set the profiles it runs at 384 max and 245 min. And displays 500 at the top. All while it still says 800 max, 125 min on the sliders. None of my profiles are set to those frequencies either...