defconfig: enable CONFIG_IKCONFIG_PROC

Store defconfig as /proc/config.gz.

Change-Id: Ie52ec7ee16ce91e73803a8c14b566e0d0ff12d76