Vale, de Orange.
Te lo vendió libre o tiene apps de orange instaladas por ahi?
Esque si la rom, aunque sea global, está tocada por orange, es dicha compañía la que finalmente gestiona las actualizaciones por OTA, básicamente porque le meten sus cosas.
Orange toca la rom, Xiaomi debe aprobarla y luego la compañía debe liberarla para descarga, convirtiéndose en un proceso lento, incluso a veces hay moviles que ni reciben actualizaciones por eso.
En ese caso, hablaría primero con Orange.
En caso de que no sea asi, pues con ese tal xiaomi jajaja.
Por eso hay gente, yo lo hice con otras marcas de movil, que se hartan y le meten la rom libre por el PC, y ya desde ahí las OTAs funcionan siempre, ya que pasan por el servidor de la marca del movil y no por el servidor de la compañía contratada.