Io trovo che sia più semplice seguire queste istruzioni:

sudo apt-get install linux-headers-$(uname -r) xserver-xorg-dev

sudo prepare-kernel-sources
cd /usr/src/linux
cp -rf...