hola

en efecto lo que dice Alexis, tienes que mirar que kernel llevas, y asi podras poner a tu gusto la frecuencia de tu SGS+, yo gasto la MoonRoom la encotraras facilmente el el foro, y en ella puedes elegir distintos tipos de kernel.
Espero que te haya servido la info