Redmi K30 5G: il TENAA certifica una variante con 10 GB di RAM