Wer es mal über Updater per Paketinstallation probieren möchte, hier die zip.
http://bigota.d.miui.com/V10.0.1.0.OAAMIFH/miui_MI5Global_V10.0.1.0.OAAMIFH_5d78eeb0ae_8.0.zip
http://bigota.d.miui.com/V10.0.1.0.OAAMIFH/miui_MI5Global_V10.0.1.0.OAAMIFH_5d78eeb0ae_8.0.zip