HyperOS Hadir untuk Xiaomi Mi 10 Series, Namun Masih dengan Android 13