Gerade jetzt, wo die neuen Kernelversionen auftauchen, ist es wieder an der Zeit mal drüberzuschauen und eben die Konfiguration nochmal zu überdenken. Als kleine Hilfestellung gibt es bei Debian eine Seite, die die PCI‐IDs mit denen der Kernel‐Treiber vergleicht und aufgrund der Ausgabe von „lspci ‑n“ die korrekten Kernelmodule zum Betrieb der Geräte vorschlägt: