si ma quelli che hai bisogno te sono i kernel-headers e li trovi in:

/usr/include/.....