Voy a ver si me doy unas cuantas lecturas y a ver si encuentro algo seguro sobre esto (no es que dude tu palabra sino que me gustaría encontrar algo que venga del equipo de Xiaomi.eu) porque es cierto que hay mucha confusión, yo mismo todavía no tengo muy claro qué pasa con esas roms. Cuando sepa algo seguro lo añadiré al texto. Gracias por sugerir!