Redmi 7A official: Xiaomi's cheapest device series gets a power boost ...