does anyone know how to overclock the stock kernel *not titan's kernel*? cpu and dsp?