Por lo que te he podido encontrar por ahi, la gente dice que de momento no hay kernels, otro que esta probando para crearlo y por ultimo este que ha logrado algo, te dejo los enlaces, estan en ingles, echale un ojo a ver que sacas, ya lo mirare a la vuelta que me voy de viaje:
http://forum.xda-developers.com/show....php?t=1595427
En este segundo enlace trabajan con el terminal:
http://code.google.com/p/opptimizer