(Only the first 10 of 26 ports in this commit are shown above. )
- Update to 4.0
- Add PGO option to enable Profile-Guided Optimization .
PR: ports/132231  (based on)
Submitted by: lioux@ 
Thanks to: andreast@, Anonymous <swell.k AT gmail.com>, decke@, jsa@,
swills@ and all the testers for their feedback!