Add various kernel headers.