reposync: update platform list