lsmod listará os módulos do kernel atualmente carregados. Portanto, se um driver não estiver listado lá, ele será embutido no kernel ou não será carregado. A maioria das distribuições deve ter um arquivo de configuração armazenado no diretório /boot , que contém as opções de configuração do kernel que foram usadas. Se você fosse baixar e descompactar o código-fonte para a mesma versão do kernel; copie o arquivo de configuração para .config no topo da árvore de origem; e, em seguida, executar make menuconfig , você poderá navegar nas configurações e ver como esse driver foi configurado.
Em alguns casos, a configuração do kernel é embutida no próprio kernel, mas eu teria que procurar como acessar isso:)
Editar:
Outra opção, possivelmente mais rápida (se for um dispositivo pci) é executar lspci -v . A saída disso informará o nome do driver que está atualmente em uso. Se isso não está listado no lsmod, então você sabe que deve ser embutido.