B2: GPS/GNSS not working anymore

We could just switch on the first Gadgetbridge GPS event, keep time until the next arrive to get the configured timeout and then set a timeout slightly longer to re-enable builtin GPS.

That sounds great! I'm not sure how often the phone pushes GPS updates, but I'd say that maybe even just a hard-coded 5-10s timeout would be fine.