Xiaomi začalo distribuovať HyperOS 3.1 na prvé zariadenia v Európe