El error está en la propia Xiaomi, ya que en la documentación del FCC está como marca REDMI, pero el TAC que le asignó la GSMA a los equipos no hace referencia a la marca REDMI, la unica forma de que el equipo pueda ser homologado es que la propia Xiaomi haga la corrección en la GSMA