Компания Xiaomi выпустила на глобальном рынке обновление MIUI 12.5 для своих двух прошлогодних топовых смартфонов.