Did you get the kernel headers as well?

If you want to be sure to get the full source download it from www.kernel.org.

PS: Please don't cross-post