This is a stripped down kernel source tree. It is INCOMPLETE!
It's used if you build a kernel modules for your devices,
but it can't be used to build completely new kernel.

If you need full kernel sources, detele all the directories here 
and get the sources from http://www.kernel.org/
