fix kernel_menuconfig