kernel: Add support to override banner

This is useful for Zephyr customers to put their custom banners.

Signed-off-by: Chaitanya Tata <Chaitanya.Tata@nordicsemi.no>
diff --git a/kernel/Kconfig b/kernel/Kconfig
index 695b3b1..d92aff4 100644
--- a/kernel/Kconfig
+++ b/kernel/Kconfig
@@ -390,6 +390,13 @@
 	help
 	  This option outputs a banner to the console device during boot up.
 
+config BOOT_BANNER_STRING
+	string "Boot banner string"
+	depends on BOOT_BANNER
+	default "Booting Zephyr OS build"
+	help
+	  Use this option to set the boot banner.
+
 config BOOT_DELAY
 	int "Boot delay in milliseconds"
 	depends on MULTITHREADING
diff --git a/kernel/banner.c b/kernel/banner.c
index 6893952..e1165e4 100644
--- a/kernel/banner.c
+++ b/kernel/banner.c
@@ -29,7 +29,7 @@
 	k_busy_wait(CONFIG_BOOT_DELAY * USEC_PER_MSEC);
 #endif /* defined(CONFIG_BOOT_DELAY) && (CONFIG_BOOT_DELAY > 0) */
 
-#if CONFIG_BOOT_BANNER
-	printk("*** Booting Zephyr OS build " BANNER_VERSION BANNER_POSTFIX " ***\n");
+#ifdef CONFIG_BOOT_BANNER
+	printk("*** " CONFIG_BOOT_BANNER_STRING " " BANNER_VERSION BANNER_POSTFIX " ***\n");
 #endif /* CONFIG_BOOT_BANNER */
 }