These drivers were downloaded from the Sierra website:https://source.sierrawireless.com/resources/airprime/software/usb-drivers-linux-qmi-software-latest/With the help of ChatGPT and Google, I was able to adjust the code enough that it actually compiles and works.   The code is probably horrible and likely to break somewhere but it works well enough to use the GPS on my old Thinkpad in Linux with a modern kernel.