Correcto.
Si tienes la versión PFG
EUXM de ROM, debes descargarte la que pone Lavander.
Y si quieres hacer una instalación más limpia, puedes descargarte la versión .tgz he instalarla mediante la aplicación MiFlash.
Versión para Lavander V10.3.2.0.PFGEUXM ROM | MIUI 10 | Android 9 : --->
https://xiaomifirmware.com/roms/miui...te-7-lavender