Comment 44 for bug 56090

> too bad for the 7GB disk space thrown away for the kernel source just to compile the tiny driver.

It's normally not necessary to install the kernel sources to compile kernel driver modules. Just install the linux-headers-*.