Change which port GPS uses on Pixhawk?

The GPS serial port on my new pixhawk is damaged - the socket seems loose, so probably a bad connection.

Is it possible to plug the GPS unit into one of the other serial ports and configure it to work correctly? At the moment the GPS is not recognised but it looks like there are other spare ports that could be used for the purpose?

Any help much appreciated!

The GPS is only supported on the port labeled GPS