odp-util: Use proper formatting for ODP port number.