Se ti servono gli headers del kernel, perchè non li creai quando crei l'immagine del kernel?
ad esempio, durante la compilazione, invece di
Codice:
$ make-kpkg kernel_image
dai
Codice:
$ make-kpkg kernel_image kernel_headers
così creerai 2 pacchetti, immagine e headers del kernel