Ah, vielen Dank für den Tipp! Das probiere ich bei nächster Gelegenheit aus...
Ja, das führt in eine recht lange Diskussion. Ich übernehme ja mit "make localyesconfig" erstmal die ohnehin schon laufende Konfiguration, in die dann die Gedanken der Debian-Kernel-Entwickler teilweise mit eingeflossen sind. Diese passe ich auf meine jeweilige Situation an.