网友：红米K100 Pro系列 出厂搭载澎湃OS4吗？馨心：出厂还没有，后续推