No sorry, but I'm having similar issues trying to install drivers for a USB 54g dongle.

I've also downloaded the latest stable kernel from www.kernel.org and attempted to compile that with similar errors

I have to be honest that I'm confused about the differences between the kernel-headers, kernel-kbuild, kernel-source and kernel-tree that are available in the Debian packages.

You could try
Code:
apt-get install kernel-kbuild-2.6-3
it didn't work for me though

Just noticed that 3.8.2 has been released http://distrowatch.com/?newsid=02640#0 I will be trying that later today.