Fixed the target path for public kernel headers