linux/scripts/kconfig/menu.c