小米正式宣布：澎湃OS4.0正式版10月份推送升级名单。