Sí, por lo que estuve leyendo ayer el problema está en que Xiaomi no sigue el estandar del código Android y los de xiaomi.eu están teniendo dificultades con su herramienta de compilación. La van a tener que modificar para conseguir una ROM decente sin bugs.