Además de esto, edita el archivo /system/etc/gps.conf para que en la primera linea en vez de un servidor de ee.uu use uno europeo que tiene muchos más mirror:
NTP_SERVER=europe.pool.ntp.org
aunque si no vas a salir de españa usa este:
NTP_SERVER=es.pool.ntp.org
