credo che lui voglia sapere qual'è la directory che contiene i sorgenti del kernel in uso