Llevas razón en parte, y por otro lado no del todo... Miui no es un sistema operativo en si, sino una capa de personalización añadida a Android, el sistema base, que en este caso trabaja en versión kitkat. Lolipop aporta cambios importantes, ya más optimizados en 5.1.1 si comparamos con sus 'release' iniciales 5.0 y 5.0.1. El más importante y destacable es la jubilación de la máquina Dalvick, sustituida por ART ---> mayor agilidad para la administración de las aplicaciónes durante sus diferentes procesos de uso. Y M sería el corte final para bordar el traje, según lo que se ha leído en prensa (M, no he probado aún). La última versión Android ---> Marshmallow podría ser el resultado final de todos los cambios que han aparecido con Lolipop,pero con más estabilidad y optimización, ya que el exceso de consumo de Ram entre otros defectos, esta mermando Lolipop - a pesar de mejoras significativas en 5.1.1, que llevo en la actualidad-.
Cierto que Miui es una capa de personalización muy completa y que incluso otorga a la rom mas opciones de personalización que ninguna, pero sigue siendo eso : una capa de personalización, no un sistema operativo en si. Pero debo de reconocer que su funcionamiento y rendimiento es sobresaliente si lo comparamos con muchas adaptaciónes de roms Lollipop hechas por otros fabricantes...