Es lag an einem kleinen Tippfehler, der eine andere Datei als Kernel deklarierte, die keine war. Aber das ist mir auch erst nach Euren mails aufgefallen. Tilman