kconfig: support multiple DTS bindings directories

Some confluence of recent changes resulted in builds with
application-specific bindings being unable to find bindings present in
the system directory.  Add quotes and splits as necessary to propagate
multiple directories through the system.

Signed-off-by: Peter A. Bigot <pab@pabigot.com>
diff --git a/scripts/kconfig/kconfigfunctions.py b/scripts/kconfig/kconfigfunctions.py
index 399d4f5..100c8bc 100644
--- a/scripts/kconfig/kconfigfunctions.py
+++ b/scripts/kconfig/kconfigfunctions.py
@@ -20,11 +20,11 @@
 dt_defines = {}
 if not doc_mode:
     DTS_POST_CPP = os.environ["DTS_POST_CPP"]
-    BINDINGS_DIR = os.environ.get("DTS_ROOT_BINDINGS")
+    BINDINGS_DIRS = os.environ.get("DTS_ROOT_BINDINGS")
 
     # if a board port doesn't use DTS than these might not be set
-    if os.path.isfile(DTS_POST_CPP) and BINDINGS_DIR is not None:
-        edt = edtlib.EDT(DTS_POST_CPP, [BINDINGS_DIR])
+    if os.path.isfile(DTS_POST_CPP) and BINDINGS_DIRS is not None:
+        edt = edtlib.EDT(DTS_POST_CPP, BINDINGS_DIRS.split(";"))
     else:
         edt = None