Ahh. Es que como he tenido que instalar la ROM 8.2.2 descargandome el fichero e instalarlo pues entonces no sabia si ya siempre lo tendré que instalar las ROM actualizables como lo he hecho anteriormente y no vía OTA. Pero si ya teniendo la ROM oficial de Xiaomi puedo instalar las actualizaciones via OTA, genial. Me quedo así.
Gracias por la aclaración.
