Removed duplicate kernel headers