Add required Kernel headers for other platforms.

Refs #8784
Merge branch 'bugfix/8784_unneeded_headers' into develop