revert kernel headers