Revert "readd kernel headers"
causes build to fail.

This reverts commit 141995cb69a45fb16bed9001698b837760e038fd.