Con el mouse pude acceder a las opciones de desarrollador y activar lo necesario para iniciar el desbloqueo. Estoy en el proceso de 7 días de espera que pone Xiaomi y después supongo que probaré a instalarle la 12.5.1, que mi pareja la tiene y no le dio problemas, a mí se me bugueó todo con la 12.5.2.