Misschien een wat vreemde vraag. Maar wat heb je eigenlijk aan die kernelheaders? Zelf draai ik Debian en daar heb ik ze helemaal niet. Kun je bij Ubuntu en Mint ook zonder die kernelheaders je systeem draaien?Zo ja, waarom dan niet verwijderen?
Kernelheaders zijn nodig als je source code wilt compilen.