Thanks for all the pointers. I've downloaded the driver sources and compiled/installed them, and the serial ports appear to be available upon reboot (according to dmesg). I'll look into building it with DKMS to make it easier to support with future updates. Thanks again, Alfred