Enhancement request: Please turn on CONFIG_IKCONFIG_PROC for RHEL kernels. Super handy to zgrep for questions.
you can grep /boot/config-`uname -r` with the same result, without the kernel memory use.
Oh. Thanks! Sorry!