Deseo saber cómo se realiza la actualización manual del Miui 12 al Redmi Note 9 y si se descarga de la página oficial de Xiaomi y que cuál sería el paquete exacto.