В описании программы написано, что есть "Поддержка всех процессоров Qualcomm для телефонов Xiaomi Redmi в списке MRT". Поэтому я не обращал внимания на модель.
Времени у меня не было, к сожалению. Сделал его, раскодировав bootloader. Будет возможность, попробую и напишу результат.