Could anybody be so kind and post me the /usr/src/linux.config ?

or an URL to download it?

I was stupid enough to delete it by accident...

Thanks and greetings,

Wolf