Traigo novedades que he leído en el foro de XDA. Al parecer no han podido flashear la ROM del A1 en el mi 5x porque el A1 es el primer móvil que lleva como los pixel un sistema de archivos doble A/B para las actualizaciones. Podéis buscar información poniendo en Google Android seamless updates.
Por otro lado la OTA que acaba de recibir el teléfono viene directamente del servidor de Google y no de Xiaomi.