Place proper kernel headers