Actualizado sin problemas desde el actualizador,

He borrado cache y sale la versión correcta,
Lo único que me sigue pasando... que no me gusta nada

... es al reproducir los videos que grabo, sean 1080 o más bajo, van a tirones. Me los he pasado a la samsung tab... igual , a tirones.
He intentado instalar otra cámara y se rallan las dos cámaras, no funciona ninguna, he desistalado la otra cámara que había instalado he reiniciado el terminal y a vuelto a funcionar la cámara de miui.
¿Se prodía instalar otra cámara?
Por lo demás supercontento
Gracias @
apside 

Edito: Yo tengo el nuevo kernel que colgaste tu ayer, parece menos chupón y funciona de momento genial.