OK, ich erkenne, dass all die debianer, die von so was Ahnung haben, im Moment beim Karneval sind und keine Zeit haben, die Frage zu beantworten ;-) Das Problem hat sich aber heute durch das erneute Update des Kernels und der kernel-source gelöst, der neu gebaute Eigenkern läuft so wie gewünscht. -- Schöne Grüße vom Möhnesee Jürgen