Al tratar de cambiar la ROM con XiaoMi Tool V2, la ROM .eu que me proponía para instalar era una versión bastante antigua, por lo que le indique que me instalará la última que me había descargado yo previamente, esta:
https://androidfilehost.com/?fid=6006931924117902349. Va todo como la seda...