xiaomi → all-models → xiaomi_redmi_10_frp → OTA File