Ondata di rilasci per smartphone Xiaomi: tra Android 10 e semplici patch il 21 gennaio