Redmi 9 si aggiornerà alla MIUI 12 Global entro novembre