Redmi 7A compare online, verrà annunciato insieme a Redmi K20