Redmi Note 9 Pro e Redmi Note 8 Pro: disponibili al download i codici kernel Android 10