Creo que me acaba de dar vuelta la cabeza del todo.
Desesperado me ha dado por meter el número de serie en la web de Xiaomi para ver exactamente qué modelo era y me sale que es un Mi 4i en vez de Mi 4c como llevo ¡¡cinco años!! pensado que es.
Supongo que para flashear es seguir el mismo procedimiento sólo que cambiando las ROMs por ROMs de Mi 4i.