kconfig: require the argument of --defconfig