rework the kernel menuconfig,