provato da kali ad aggiornare gli indici e cercare il pacchetto: linux-headers-4.18.0 ?