Bueno, con mi opinión acerca del nuevo Devil 0.91, me parece que esta volando, yo lo tengo y el teléfono me va bien, y aun no se acentúa jaja y como dice @nonamed lo bueno es que el kernel es bastante configurable y apps como devil kernel manager y devil kernel config, hacen esto de un lujo.
Lo único inestable que hace a esta versión del kernel es el Live OC, si dejo el CPU a freq de 1000Mhz, y aplico 120% Live OC =1200Mhz entonces se queda congelado el móvil y tengo que ir a recovery y borrar datos de Nstools (ya que uso dicha app, con otra no se si serviría y como seria).
Ahora bien si ajusto directamente la freq a 1,2Ghz por las opciones que trae añadidas que son 1,2Ghz 1,3Ghz y 1,4Ghz. con Live OC en 100% (Default); Entonces hay me trabaja perfecto, tanto así que hasta el sol de hoy lo tengo a 1.2 y nada. El telefono me tira 3500- 3800 en antutu.
Bien, espero aportar algo con esto, para que no les pase.