La verdad es que no los he probado, pero quizás saque hoy un poco de tiempo y si veo que va mejor creo un mini-parche que borre el otro kernel y ponga este.
Un saludo (76%

)!
EDIT: subido! Y o yo tengo efecto placebo, o el kernel de Windmonks es aún mejor que el de Cyanogen. En quadrant, los resultados son muy parecidos a los de cyanogen, pero en el escritorio, el kernel 35.9 avs cfs parece hacer que las animaciones sean más fluidas. Lo dicho, no sé si es así, o es sólo efecto placebo. Si queréis instalar estos kernels, buscad en el link de revolucions el que os he dicho y experimentad, son totalmente compatibles.