¿Los encabezados de Linux son el núcleo?
No entiendo en absoluto lo que quiere el cartel.
Los encabezados de Linux son archivos de encabezado de desarrollo de Linux y deben ubicarse en /usr/include/linux. Sin embargo, algunos sistemas están acostumbrados a colocarlo en /usr/src (esto rara vez es el caso, porque el lugar habitual es un directorio en /lib/modules/
Real Linux no puede dar este nombre. Es habitual poner el código fuente completo de Linux en /usr/src. Pero el nombre específico depende de la definición del sistema. Algunos se denominan fuentes de Linux, fuentes del kernel, etc. Algunas pueden ser versiones mejoradas de nombres.