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