Xiaomi Redmi K40 може стати найтоншим і невеликою ігровою смартфоном