Mi rom es la 12.5.7.0 rjseuxm.
@
TuxLin como indica @
guillermotelecom dejó varios links.
Yo encontré un tutorial por los foros y tal:
https://c.mi.com/thread-3256766-1-0.html
Lo que no sé es si te servirá para cambiar la rom o no, yo no soy muy dicho en estas cosas, desde que tengo el redmi note 5 todos mis moviles ha. sido xiaomi y no me he visto en la necesidad de cambiarles la rom.
A ver que dicen los compis....