E' possibile creare gli headers grazie a make-kpkg come suggerito da Luca. Di base basta un: make-kpkg kernel_headers Grazie, ciao.