Con un'operazione di reverse engennering sono riuscito a capire che il Makefile mi pigliava la versione del kernel dal file /usr/include/linux/version.h, ho provato a cambiare il valore da 2.4.18 a 2.4.18-bf2.4 e mi sembra di aver risolto il problema. In compenso ora ne ho un altro:eseguendo il solito modprobe nome_modulo mi dice che alcune librerie del modulo non sono GPL, è quindi non può caricarmi il modulo. Debian è così integralista o esiste una scappatoia?? Grazie!