I know this might sound stupid but where did you downloaded the kernel-source? if it is from the internet and not the distrib CDs, there's a great chance that the kernel-source isn't the same version as your kernel and thus is responsible for this error. The same happened to me a while ago...