xiaomi → all-models → redmi_note_7_mi → OTA File