Hmm, it looks like none of those options are available to our configuration, so we will have to stick with USB through the 4G carrier.
I've found that the Pixhawk is rebooting now (not sure if something changed, or if I'm going crazy) but voxl-mavlink-server fails, and continues to fail if I systemctl restart voxl-mavlink-server so I have to reboot the voxl2 with every Pixhawk reboot.
Not that big of a deal. Has the bug been fixed where sudo reboot takes a couple of minutes to actually reboot the VOXL2? Each time I want to reboot the Pixhawk it's about a 5 minute process