Muchas gracias a ambos. En modo recovery (era lo que yo desde mi ignorancia llamaba "acceder a la kernel") no entró, pero sí en download, así que flaxeé una vieja rom de samsung y arreglado. Después instalé la kernel nueva de tu tutorial, zadock(por cierto, enhorabuena, es un post muy ilustrativo) y volví a intentar instalar la cyanogenMOD 9, la última update, obteniendo exactamente el mismo resultado de antes. Así que ahora estoy volviendo a instalar la rom de Samsung.
¿Alguien ha instalado correctamente una rom cyanogenMOD 9?