Вот обновления Android 10 для Redmi 4a
https://forum.xda-developers.com/redmi-4a/development/rom-pixel-experience-t4008329