xiaomi → all-models → xiaomi-redmi-9-prime → OTA File