Für Xiaomi Phones nehme ich nur Pixelexperience. Passendes Rom inkl. kompletter Installationsanleitung für das Mi 9:
https://get.pixelexperience.org/cepheus
Inzwischen hat meine gesamte Familie Xiaomi Phones weil sie so gut durch Pixelexperience unterstützt werden.