prevent the new config changes from interfering with kernel_menuconfig