Depois de ter descompactado a fonte, cd
para o diretório de origem e digite como usuário normal:
export CONCURRENCY_LEVEL=4
fakeroot make-kpkg clean
fakeroot make-kpkg --initrd kernel_image kernel_headers
Em seguida, instale ../linux-image
e ../linux-headers
packages com sudo dpkg -i
No entanto, o meu 4.2.0 dá depois do grub:
kernel panic: not syncing: init killed
Talvez haja algumas incompabilites no initrd ou em outro lugar em ferramentas com o Debian Stretch com o kernel 4.1.3.