Fra og med presentasjonen av den nye Redmi K20-serien av Xiaomi-undermerket, lurer mange på hva det virkelige flaggskipet er nå ...