Enable CONFIG_IKCONFIG_PROC in the kernel.

CONFIG_IKCONFIG was already being built as a module, might as well
make it easy to get the configuration from the kernel when it is loaded.
The space savings is almost nothing to not enable this.