removing unused third-party headers (objbsd)?

[Gedare Bloom]

I've been doing back through my third-party source code attribution.
I've found that there is a chunk of header files that are apparently
not included anywhere in rtems, and that are third-party headers. Is
there any reason we can't get rid of them?

spec/build/cpukit/objbsd.yml:
- destination: ${BSP_INCLUDEDIR}/machine
  source:
  - cpukit/include/machine/_kernel_cpuset.h
  - cpukit/include/machine/_kernel_in.h
  - cpukit/include/machine/_kernel_in6.h
  - cpukit/include/machine/_kernel_mman.h
  - cpukit/include/machine/_kernel_param.h
  - cpukit/include/machine/_kernel_time.h
  - cpukit/include/machine/_kernel_types.h
  - cpukit/include/machine/_kernel_uio.h

grep --exclude-dir=build -r _kernel_
grep: .git/index: binary file matches
grep: .git/objects/pack/pack-d2f9d582ab08085c983290d405f219a096ba2735.pack:
binary file matches