some modifications in kernel-config-helper