Installato questo kernel e tutto funziona perfettamente:
http://yadi.sk/d/vWnoNAVaHWNu8
E la versione Miui v2 di quello presente nel topic iniziale. Consiglierei di aggiornarlo con questo qui.
Adesso all'accensione ho 200mb liberi in più rispetto all'ElementalX e non ci sono rallentamenti nello scorrimento delle pagine della Home.