Adding kernel-appropriate headers