l'importante è risolvere. ma credo che avresti risolto anche con un wipe cache e dalvik.
comunque non fare molto affidamento ai benchmark, sono inutili. ed è conosciuto il fatto che con il redpill i risultati dei benchmark sono bassi, ma ciò non vuol dire che sia un kernel non valido. io uso quello e mi ci trovo benissimo!!