scusate... problema risolto
gli ho passato il path in cui ho messo i sorgenti del kernel