xiaomi → all-models → redmi-note-7-pro → OTA File