He añadido la ROM al listado, pero no como sMIUI si no como MIUI GlobeROM, ya que parece ser el nombre oficial de la ROM y por lo que leo es una ROM derivada del proyecto Xiaomi.eu.
¿De dónde sale eso de sMIUI? En los sabores de MIUI reconozco que estoy muy perdido.