Hombre pues imagino que si de momento ese es el único kernel compatible, Pues solo se podrá poner ese, Pero después seguro que van saliendo más, Creo que no van a hacer nada a una leak por que no merece mucho la pena el esfuerzo cuando esta al caer una oficial supongo, No?
Saludos!