Alguien sabe si el radmi 9 pro seca a actualizar con el miui 12 ? Ayuda porfavor