Como instalar el header del kernel en un simple paso.

La forma sencilla y rápida para instalar el header del kernel en debian es:

sudo apt-get install linux-headers-`uname -r`

así de simple y sencillo.