Wow that is amazing and quite impressive that you even run the antenna lines....interesting......do you have to pay for the GPS service?
Or if the serial port introduces too much jitter for you:
http://www.febo.com/time-freq/ntp/soekris/index.html
Marcus