dist/tools/genconfig: check the APPLICATION symbols only when testing

This changes the Kconfig check to only perform it when testing Kconfig
dependency modlling for now (TEST_KCONFIG=1).

dist/tools/kconfiglib/genconfig.py

@@ -241,7 +241,13 @@ def check_configs(kconf):
         - A configuration parameter could not be set to value defined by the
           user.
     """
-    app_check = check_application_symbol(kconf)
+    test_kconfig = os.getenv("TEST_KCONFIG")
+
+    if (test_kconfig):
+        app_check = check_application_symbol(kconf)
+    else:
+        app_check = True
+
     sym_check = check_config_symbols(kconf)
     choice_check = check_config_choices(kconf)
     return app_check and sym_check and choice_check

dist/tools/kconfiglib/tests/test.sh

@@ -18,6 +18,8 @@ KCONFIGLIB_DIR="$(readlink -f "$(dirname "$0")/..")"
 TESTS_DIR=${KCONFIGLIB_DIR}/tests
 GENCONFIG=${KCONFIGLIB_DIR}/genconfig.py
 
+export TEST_KCONFIG=1
+
 KCONFIG_FILE="${TESTS_DIR}/Kconfig.test"
 CONFIG_FOO_Y="${TESTS_DIR}/foo_y.config"
 CONFIG_BAR_Y="${TESTS_DIR}/bar_y.config"