Estoy con el compañero hardaway, tengo el Mi4 desde que salio, mas de un año y casi año y medio y probando muchas roms, y ningún problema con el GPS, la primera vez si que le cuesta posicionarse, pero pasados unos minutos, sin ningún problema.
Y luego que hay que usarlo a menudo, puesto que si hace mucho que no lo utilizas al volver a cargarlo te tarda mas en posicionarse, pero ya te comento que ningún problema.