För några dagar sedan rapporterade vi om möjligheten att nästa standard Redmi K40 skulle komma med en ny chipset ombord ...