有多少小伙伴在等Redmi的K80系列呢？[思考]