Y por qué nunca se habla del Redmi K40 Gaming, yo creo que sí actualiza, pero cuando?