Simplified section "Porting".

Fixes #1069.

Change-Id: I01578dfe27585f5c5cc81ce9f564e9586c60a3ed