Re: [OS-BUILD PATCH] redhat/configs/common: Turn on CONFIG_IKCONFIG_PROC