So, das Originale Raspbian-Stretch-Lite ist wieder installiert. Kein Update und die Kernel-Version passt jetzt 4.14.50-v7+.
Das Kernelmodul ist auch enthalten und die Ausgabe auf modprobe ergibt nichts (keine Ausgabe, keine Fehlermeldung). Das Ergebnis von dmesg ist das gleiche, wie vorher.