mira yo instale un kernel que permitia ocear el micro a 1.5ghz (1.0ghz stock) te dejo el link de xda
http://forum.xda-developers.com/andr...ernel-t3313105
edit: ahi en las especificaciones es compatible con 4.1.2 (supongo que es la stock) y cm 11, no es ramdisk segun entiendo.