Yo de Kitkat... la Paranoid 4.4 y estoy probando la Slimkat de Biftor que tiene mucha personalizacion y es AOSP, pero las ROM Kitkat, no son ni por asomo como fueron las GB/ICS/JB... son muy repetitivas y todas dan mas problemas que nunca, hasta el Theme chooser! y esto es en todos los modelos eh...
La Paranoid es la mas estable y en Jelly Bean la AOKP 4.1.2 es una pasada... y esos 12.000 puntos que muestras, me tientan.... y sin ART, el ART esta muy verde aun... y va para largo... además, no va con Xposed y para mi Xposed es imprescindible...