オフィシャルグローバルロム→中華純正ロム→カスロム(xiaomi.eu) への移行がやっと終わったよ。
xdaの説明とおりではうまくいかず、時間がかかってしまったよ。