Ponte la AOXP que hay en XDA, es muy fluida y no tiene caracteristicas que solo crean lag en el mini (como cm10.1). Aunque si prefieres conservar la personalizacion de Cyanogenmod, puedes ponerte CM9
Ah, y tampoco tendrás problemas de espacio con aoxp