[ CONSULTA ] GPS conf en MIUI 2.2.17, cambiar a Nokia?

[Preok]

Hola,
tengo el problema que el GPS tarda mucho MUCHO en coger los satelites y estaba pensando en cambiar el gps.conf por el de Nokia que he visto que recomendaban antes.
El caso que al entrar en el fichero gps.conf he visto que tiene muchas mas lineas que las de el gps.conf este:

NTP_SERVER=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.nokia.com
SUPL_PORT=7275

se puede cambiar el que tengo ahora por este? alguien lo ha hecho con esta versión de MIUI