No busquéis que se pueda ejecutar nada de Samsung en las ROMs AOSP, tanto en estas dos como en CyanogenMod o en MIUI es imposible poner nada de Samsung, ya que lo de esta marca necesita de archivos que están en su propio framework y que no están en las AOSP...

Así que, cero Samsung... El teclado de ICS es muy bueno, yo creo que cuando te acostumbras mejora al de Samsung bastante, aunque yo uso el Swiftkey X... jejeje