Switch to OpenSemc's gps HAL