con root explorer trovi il file in etc/gps.conf
nel topic di miui girano queste impostazioni e a me fixano perfettamente:
File Originale
NTP_SERVER=north-america.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
FILE PER L'ITALIA
NTP_SERVER=europe.pool.ntp.org
NTP_SERVER=0.it.pool.ntp.org
NTP_SERVER=1.it.pool.ntp.org
NTP_SERVER=2.it.pool.ntp.org
NTP_SERVER=3.it.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