Pues precisamente eso caracteriza al merruk, el overclocking. De hecho es el único con overclock. Yo lo probé y me daba los 1,2 Ghz. No se si habrás probado una versión de las primeras o algo, pero tendría que haberte dado los 1,2Ghz. Sin embargo yo no tenía mejores benchmarks con ese kernel. No es mal kernel, en absoluto, simplemente es un buen kernel que se caracteriza por esa capacidad que tiene. Yo lo instalé siguiendo las instrucciones de este hilo.
http://forum.xda-developers.com/show....php?t=1926456
Por cierto tienes el móvil bastante bien, sobretodo teniendo en cuenta que no tienes tarjeta de clase 10, según tengo entendido. Así que con una de clase 10 con el readahead adecuado tendrías unos 1800 y pico puntos, incluso algún pico de 1900 y algo.