Fixes in kernel-config.sh script.