Improve documentation for the port API. am: a3fd28e936 am: af06c0b21e

Original change: https://android-review.googlesource.com/c/platform/tools/ndkports/+/1315396

Change-Id: I5a967c99f45cd737b8abe795d126e08fae88a9ae