Hay un hilo sobre ese kernel donde puedes preguntarlo. Es mejor hacer ahí la pregunta para que la información este ordenada. Además, los que estén interesados en ese kernel podrán estar interesado en la respuesta.
Enviado desde mi Galaxy Nexus usando Tapatalk 2