小米澎湃OS4发布好气人，我的Redmi K100 Pro没在首批支持的手机里面