fix make kernel_menuconfig (#1637)