Vamos a ver que yo también soy novato en esto:
según parece tenemos que editar el archivo GPS.config que está en /etc, y borrar todo lo que tiene y sustituirlo por esto que has puesto?:
NTP_SERVER=es.pool.ntp.org
XTRA_SERVER_1=http://xtra1.gpsonextra.net/xtra.bin
XTRA_SERVER_2=http://xtra2.gpsonextra.net/xtra.bin
XTRA_SERVER_3=http://xtra3.gpsonextra.net/xtra.bin
SUPL_HOST=supl.google.com
SUPL_PORT=7276
y seguir todos los pasos que expones, ¿ es así?
