Ya, ya sé que no son oficiales, por eso lo he puesto entre comillas. Ya sé que las únicas oficiales de Xiaomi están en inglés y chino. Lo único que preguntaba es que si para instalar dicha versión, que por lo que veo hay que instalarla vía custom recovery, había que tener el bootloader desbloqueado.