Add required Kernel headers for other platforms.

Refs #8784