Bueno, acabo de hacer la prueba. De momento, como dice el compañero balaitus, la Wi-Fi no funciona (o no he conseguido hacerla funcionar).
Es un kernel que soporta CyanogenMod. Yo lo que he hecho ha sido instalar primero la
ROM CM7 madteam (original de Galaxy Y) y después añadirle el kernel cyanus.
El resultado es tener CyanogenMod 7 en el mini plus, aunque de momento tendrán que arreglar el tema del WiFi y de la cámara para poder hacerla de uso diario. A pesar de todo es un avance significativo y habrá que estar atentos ;)