Revert "Use real kernel headers"

This reverts commit ba543b453a4045c1c41f0656de09e1927ad04b5e.