Muchas gracias por la respuesta. La verdad es que me está tentando muchísimo. Tampoco es que le pidiera unos juegos de lo más potente (sólo el Bad Piggies, Angry Birds y cosas así para pasar el rato...), lo más molesto eran los pequeños lags.
¿Le tienes un kernel diferente al que trae la ROM? ¿Qué configuración le ponéis: Ondemand + row?
Seguiré "espiándoos" y en una de estas vuelvo a probar...
