Para responder à sua pergunta, isso deve funcionar. O System.map foi criado no diretório de origem recém-criado e é necessário:
$ depmod -b "$INSTALL_MOD_PATH" -F System.map 4.9.59
Onde 4.9.59 é a nova versão do kernel não-executável.
Agora, até mesmo a fonte do kernel plain vanilla linux permite construir pacotes debian.
$ make help|grep deb
deb-pkg - Build both source and binary deb kernel packages
bindeb-pkg - Build only the binary kernel deb package
e, g: Em vez de make
e make modules_install
(como usuário normal, o root não é necessário):
stretch-amd64:~/linux-source-4.13.10$ make bindeb-pkg -j4
[... mais tarde ...]
stretch-amd64:~/linux-source-4.13.10$ $ ls -1 ../*4.13.10*deb
../linux-headers-4.13.10_4.13.10-1_amd64.deb
../linux-image-4.13.10_4.13.10-1_amd64.deb
../linux-libc-dev_4.13.10-1_amd64.deb
É claro que isso pode exigir alguns pacotes debian adicionais, como dpkg-dev
, fakeroot
e alguns relacionados, mas se o destino for também um debian, talvez seja mais fácil instalá-lo lá.