Provide initial SoC kernel configs

Bug: 28768869

Change-Id: Ia0e433afd5175c78791512518ef3af4ed53b2bc9
Signed-off-by: Kees Cook <keescook@google.com>
diff --git a/soc/picoimx/soc.kconf b/soc/picoimx/soc.kconf
new file mode 100644
index 0000000..71c49f2
--- /dev/null
+++ b/soc/picoimx/soc.kconf
@@ -0,0 +1,4 @@
+# picoimx-specific kernel configs:
+
+# This kernel image uses an split DTB image.
+# CONFIG_BUILD_ARM_APPENDED_DTB_IMAGE is not set