Yo uso CM9, pero para una amiga quizas tengas que ponerle una rom samsung (stock).
Yo te aconsejo
STOCK ROM DEODEX de Klander , aqui el link:
http://www.htcmania.com/showthread.php?p=4658819
No esta tematizada pero es una ICS de las ultimas lanzadas por Sammobile con la ventaja de venir (segun creo firmemente) deodex, zipalign, root, superuser.
No tiene tematizacion asi que habria libertad para tu amiga para dejarlo al movil como mas le guste.
saludos