[PATCH v11 20/29] net-lwip: lwIP wget supports user defined port in the uri, so allow it.