Muchas gracias @
aurelianobue. Un gran trabajo!!
A modo de tener una segunda forma de hacerlo mediante fastboot y que, a mi modo de ver, resulta más fácil, os dejo el aporte de la suite de Xiaomi.
Desde allí y con el programa abierto, si enchufas el teléfono en modo fastboot ya te lo reconoce y te da para elegir qué rom quieres instalar, si la developer o la stable.
http://pcsuite.mi.com