Medar jest prostszy sposób w repozytorium kodi masz dział programy i tam szukasz wtyczki Kodi Android installer w której będziesz mógł wybrać jaka wersje chcesz instalować.
EDIT:
jezu nie będę już pisał postów przed kawa tyle błędów
https://xiaomi.eu/community/threads/mi-box-3-oreo-public-ota-has-been-halted.44821/
W skrócie zatrzymali update do oreo, i nowy update ma byc dostarczony w tym tygodniu naprawiający HDCP i problem z dyskami.