Redmi K40 with Snapdragon 7-series SoC should shake up AnTuTu midrange smartphone performance card currently controlled by Dimensity and Kirin chips