Уменя небыло 9.8.5.19. А была предпоследняя 9.5.4. А теперь неделю 9.5.10.0.Redmi. 4x. Попробуй зайти гугл поиск, написать нужно обновление ПО.  Xiaomi. Redmi. 4x.