Ya he visto que Sí hay soporte para este kernel y en el enlace anterior ya esta actualizado a la versión K2.
Pero alguien lo ha probado y puede hablarnos de sus prestaciones ?
Yo vengo usando el Lonas y por el momento no he visto ninguno que lo supere.