Redmi, a Xiaomi sub-brand, has recently announced its first gaming smartphone in the form of the Redmi K40 Gaming Edition, something you might ...