Que yo sepa eso es imposible. Será un bug o algo, porque el procesador del s3 mini no llega a 1600 ni overclockeado. Lo que sí sé es que en xda un tipo está trabajando en un kernel que se pueda poner a 1200 mhz sin correr mucho riesgo de que la vida útil del procesador se vea afectada.