Here is the dmesg/lspci output. I wasn't sure where the default module list lives (/etc/modules) so I expect that should solve the problem. However, I'd still like to understand why it didn't pick up the driver. -- Ken