<p class="spip">Attention, kernel-headers-x.y.z-w se nomme désormais linux-headers dans les repo debian.</p>

<p class="spip">Il faut donc remplacer 
export KSRC=/usr/src/kernel-headers-`uname -r`
par
export KSRC=/usr/src/linux-headers-`uname -r`</p>