Что за чушь Redmi Note 4 до 9 андроида никто не обновлял , даже 8 ещё стабильного нет!!!, в ручную ставить это все на свой страх и риск.   9 андроида стабильного на redmi note 4 не будет к тому времени он уже устареет.