Android 10 reaches the Xiaomi Redmi 8 in Europe and the Redmi Note 7 in ...