Acabo de hacer una instalación limpia y le he puesto el kernel DragonHeart. A ver que tal va, aunque a priori se nota más fluido, y eso que yo no tenía ningún lag.
Los que tenéis lag probad a inhabilitar la aplicación Device Health Services Device Personalization Services y reiniciar. Si no funciona siempre podéis volver a habilitarla.
Está comprobado que como mejor va esta ROM, sin hacer cambios en ella, es instalándola de cero desde MiFlash o fastboot.
EDITADO:
Me confundí de aplicación.