For Xiaomi users, these changes in Android 17 may become even more powerful once they arrive in future versions of HyperOS.