Gracias Jnoge, tengo todo esto comprobado.
De todos modos, hoy me ha dejado marcar el desbloqueo OEM, el cual conserva en azul al salir y volver a entrar en la pantalla de opciones de desarrollador ( antes se me volvía a gris en cuanto salía y volvía a la pantalla). Tal vez Xiaomi me haya activado ya el desbloqueo, a pesar de no devolverme al terminal información .
Lo comprobaré dentro de unos días , pues volveré a la carga para grabar el TWRP. Ahora me voy en breve fuera y no quiero quedarme en estos momentos intentando resucitar el teléfono.
A la vuelta, persevero.
Lo dicho, gracias por tu intervención