小米澎湃OS 4正式版开始陆续推送了这次升级覆盖的机型小米17系列、红米K100