am 804c3e10: merge from open-source master

Merge commit '804c3e10774b1b05f958d9b860a814abbd4a6c9b' into kraken

* commit '804c3e10774b1b05f958d9b860a814abbd4a6c9b':
  New GPS HAL Interface