Change in osmo-gsm-manuals[master]: port_numbers: Add missing records for osmo-upf, pfcp-tool, hnodeb