https://xiaomifirmwareupdater.com/miui/mondrian
Bueno, cambiarle el nombre no se, pero tienes que asegurarte de que el tuyo sea, o no 5g, por que el nombre en código varía.
Probablemente, como en otros xiaomi, el nombre cambia según la versión, sea REDWOOD, o MONDRIAN.