Fix build issues relying on kernel headers