Масштабное обновление HyperOS начало приходить на смартфоны Xiaomi и Redmi