Como dice Jon Nieve, no tiene ROM oficial en español (la oficial solo tiene chino e ingles) otra cosa es meterle la ROM de xiaomi.eu (no es oficial) pero si que actualiza por OTA.
Yo tengo el mi4c y la verdad que me ha sorprendido gratamente en todos los aspectos pero si quieres tener 0 complicaciones yo me compraría el one x (menos batería por mejor estética, los demás puntos mas o menos igual) por que los nuevos lotes del mi4c ya vienen con el bootloader capado y es otra pega más.