Hjb: es gibt keine Anleitung zum installieren der Kernel-Header. Die werden einfach mit dem Kernel-Source entpackt - einmal "make {menu,x,,}config" ausführen - speichern - fertig.

Was anders sind die libc-Header (*) - diese werden im libc-dev Paket mitgeliefert und gehören auch dorthin.

(*) Diese sehen den Kernel-Header zum verwechseln ähnlich aus und zwar weil Sie zum Kompilieren der libc aus einem Kernel-Sourcetree genommen werden.