Config: Remove 4.0 from ports list

Greenplum 4.0 is not supported anymore and has been removed from
the port list.