Has anyone used axen(4) recently? I needed to make some changes to get it to work for a USB-C Ethernet adapter but would like to know if the driver in the tree works for any older devices.