update the table in manual showing which platforms are available in the
distribution
Merge branch 'V7_8-branch'