No i nie dziwie się. Najnowszy dev jest na Oreo. Ściągnij wpierw 7.12.14 (recovery) stąd: http://en.miui.com/thread-1502267-1-1.html tapnięte z Redmi 4a