ports.h: Add ctrl port for osmo-gbproxy

Change-Id: I46a1cef3013c9bbf9b5a6d64e83cd84568f2523c
diff --git a/include/osmocom/vty/ports.h b/include/osmocom/vty/ports.h
index 5e7e655..5a8faed 100644
--- a/include/osmocom/vty/ports.h
+++ b/include/osmocom/vty/ports.h
@@ -32,5 +32,5 @@
 /* 4259 used by control interface */
 #define OSMO_VTY_PORT_GGSN	4260
 #define OSMO_VTY_PORT_HNBGW	4261
-/* 4262 used by control interface */
+/* 4262-4263 used by control interface */
 /* When adding/changing port numbers, keep docs and wiki in sync. See above. */