Merge "doc: Move platform list to the Platform Ports index page" into integration