Вот моя инструкция (правда тут описывается установка кастомной прошивки, но она тоже на основе android 9.0, да и лагов поменьше, чем на официальной, как по мне), тут всё подробно расписано: http://ru.c.mi.com/thread-1800615-1-0.html