add config option for Xentium processing demo kernel

init/Kconfig

@@ -85,6 +85,13 @@ config BUILD_XEN_KERNELS
 	  Enable this option in order to build the Xentium kernel programs
 	  in dsp/xentium.
 
+config XENTIUM_PROC_DEMO
+	bool "Build a Xentium Processing Demo kernel"
+	depends on BUILD_XEN_KERNELS && XENTIUM
+	help
+	  Enable this option in order to build a kernel that runs a Xentium
+	  processing demo.
+
 
 menu "Compile-time checks and compiler options"
 

init/Makefile

 obj-y += main.o
-obj-y += xentium_demo.o
+obj-$(CONFIG_XENTIUM_PROC_DEMO) += xentium_demo.o
 obj-$(CONFIG_EMBED_MODULES_IMAGE) += modules-image.o

init/main.c

@@ -102,8 +102,10 @@ int main(void)
 	cpu_dcache_disable();
 #endif
 
+#ifdef CONFIG_XENTIUM_PROC_DEMO
 	/* run the demo */
 	xen_demo();
+#endif
 
 	return 0;
 }