Re-add portmgr machines to internal machine list.


git-svn-id: svn+ssh://svn.freebsd.org/doc/head@45494 c2e8774f-c49f-e111-b436-862b2bbc8956