credo che tu debba installare i kernel-sources della tua distribuzione!