No habia visto este post y me sorprende lo mal que se habla de la gin2JB, yo e probado varias roms y en los juegos es la que mejor me a funcionado, con menos lag, y con la interfaz mas fluida, y con mas RAM libre, aunque si que consume bastante cuando SE USA el telefono sobre todo para jugar o navegar por internet (uso la 1.9.6).
Estoy dispuesto a seguir probando roms y hechando un vistazo a tu lista como no, me a llamado la atención la JokaWild V3. Me da un poco de miedo probar otras sabiendo que ahora me funciona bien mi rom, lo que más valoro es la rapided de interfaz y lectura de la sd y la ram libre, y ahora mismo al encender el telefono lo dejo casi con 240mb de ram libres, que para jugar me vienen muy bien cuando con otras roms tenia como mucho 215mb.
Voy a probar la JokaWild V3 como e comentado, pero de todas formas sabes de alguna rom de ICS o JellyBean que trabaje igual de bien que las GB? A poder ser, con el kernel de stock.