Gar nicht, das normale HyperOS ist OEM, da würde man auch nicht von einer Custom-ROM sprechen. Heißt, man kann es nur über das normale Updateprogramm installieren, und da geht es bei dir ja nicht.
Stell deine Region (nicht Sprache) mal auf Indien, starte das Handy neu und suche dann nochmal nach Updates. In Indien kommen Updates oft schneller bei Xiaomi.
Xiaomi.eu gibt es noch, aber das ist nicht das Original HyperOS. Dazu wurde dir ja jetzt auch ein Link geschickt.