kernel/gen_kheaders.sh

kernel/gen_kheaders.sh generates an archive consisting of kernel headers for CONFIG_IKHEADERS.

The file is only referenced in kernel/Makefile.