doc: Fix platform port inclusion