El único que tiene conocimientos para hacer el kernel es thebigcako, pero claro, tampoco queremos darle trabajo.
Además, en la página pone "build runs on any JB kernel (do not use KK/seliunx kernel)" por lo que lo que habría que hacer es adaptar el kernel de cualquier 4.2 y 3.0.36+ a nuestra tab, y eso lo veo bastante dificil de hacer la verdad.
Hace tiempo sacaron lollipop para bq edison, podríamos usar ese kernel, lo malo es que la página de epdcenter la han borrado