Xiaomi's Redmi A1, after a long string of teasers and leaks, is officially out in the wild. As the name implies.