Även om Redmi 7A släpptes för mindre än sex månader sedan, för att vara exakt den 28 maj i Kina, har Xiaomi eller snarare Redmi-undermärket ...