Revert "Revert "Use real kernel headers""

This reverts commit 8863ff21c8698b9558f19c4605dd57033a9988e3.