Bien, te descargas el kernel
https://faramir.eriador.org/r/galaxy_nexus
La version RAW ( extension .img ) 4.0.2!!
y sigues este miini tutorial que hice en este post:
http://www.htcmania.com/showthread.php?t=318465
- Reiniciar en modo BOOTLOADER
- Copiar el archivo.img a la carpeta SDK/platform-tools
- Renombrar a boot.img ( o algun nombre facil terminado en .img)
- Ejecutar el CMD de windows y dirijirte a la carpeta SDK/platform-tools
- fastboot flash boot boot.img
- fastboot reboot o iniciar en en telefono