I had a lot of trouble installing the kernel-headers for 3.7 in Kali. Turns out that the repositories no longer contain the packages for these headers.

I solved it using the debian archive:

Add...