Yo estoy usando la milestone 5 que creo que es franco kernel. Es muy fácil de poner, tan sólo has de bajarte la aplicación del market "franco kernel" y desde el propio programa te descarga el kernel y te lo instala.
Enviado desde mi Galaxy Nexus usando Tapatalk 2