=?iso-8859-1?Q?Can=B4t?= build kgi-kernel

[Sven Garbade]

Hi there,

I want to try the kgi, but patching failed on a Debian Potato System:

 |- kgi
 |   |- Linux
 |   |   | Extracting /home/sfg/kgi-0.9/kgi/Linux/linux-2.2.13.tar.gz,
done.
 |   |   | Linux sources not detected. Kernel build not enabled.

I think the configure script has problems to identify the correct name
of the linux source tree, but how to fix this?

Regards, Sven