revert duplicate fix from 736e9b194840813e16f02a02ab288e287b6d24c8
fixes bug 888197 - set which platforms should be displayed by default
Merge pull request #432 from rhelmer/bug888197-duplicate-platforms

Bug888197 duplicate platforms