Personalmente, yo te recomiendo la ICS MeijaROM (4.0.3 b10) o la JB Cyanogenmod 10.1, aunque la 10 (base 4.1.2) no la he probado. Creo que la Cyanogenmod gestiona mejor la RAM, pero como es una versión de desarrollo (R1) aún le quedan cosas por pulir y habrá que comprobar cómo van las aplicaciones, aunque para estar recién cocinada va realmente bien. La MeijaICS está más pulida, pero ICS chupa más RAM.