comment: */ports.h: link to wiki + manuals, indicate used ports

Change-Id: I6a7bf04e589ccfaea98f20900a9bfe9dd4808dce
2 files changed