Cioè serve il sorgente del kernel?