xiaomi → all-models → xiaomi_redmi_a1_plus → OTA File