Para cambiar el kernel tendria que instalar alguna rom cocinada no? La verdad es que nunca me he puesto a hacer estas cosas ... aunque por lo que veo no es dificil. Lo unico es el tema de las actualizaciones que habria que hacerlas manualmente sino me equivoco.
Enviado desde mi Galaxy Nexus usando Tapatalk 2