REDMI K100系列定档8月11日，红米是不是要错开9月份新机潮，顺便先卖一