se ti servono gli header,solitamente li trovi
nella dir /usr/src/linux o equivalente.
ciao