diff --git a/include/kernel.h b/include/kernel.h
index 7f324423b78..715f6acc803 100644
--- a/include/kernel.h
+++ b/include/kernel.h
@@ -37,7 +37,8 @@
 extern "C" {
 #endif
 
-#ifdef CONFIG_KERNEL_V2_DEBUG
+#ifdef CONFIG_KERNEL_DEBUG
+#include <misc/printk.h>
 #define K_DEBUG(fmt, ...) printk("[%s]  " fmt, __func__, ##__VA_ARGS__)
 #else
 #define K_DEBUG(fmt, ...)
diff --git a/kernel/unified/Kconfig b/kernel/unified/Kconfig
index 3eac75aa456..22d8b050a11 100644
--- a/kernel/unified/Kconfig
+++ b/kernel/unified/Kconfig
@@ -18,15 +18,19 @@
 
 menu "Unified Kernel Options"
 
-config KERNEL_V2_DEBUG
+config KERNEL_DEBUG
 	bool
-	prompt "Kernel V2 debug help"
+	prompt "Kernel debugging"
 	default n
 	select INIT_STACKS
+	help
+	  Enable kernel debugging.
+
+	  Note that debugging the kernel internals can be very verbose.
 
 config NUM_COOP_PRIORITIES
 	int
-	prompt "Kernel V2: number of coop priorities"
+	prompt "Number of coop priorities"
 	default 16
 	help
 	Number of cooperative priorities configured in the system. Gives access
@@ -46,7 +50,7 @@ config NUM_COOP_PRIORITIES
 
 config NUM_PREEMPT_PRIORITIES
 	int
-	prompt "Kernel V2: number of preemptible priorities"
+	prompt "Number of preemptible priorities"
 	default 15
 	help
 	Number of preemptible priorities available in the system. Gives access
@@ -62,7 +66,7 @@ config NUM_PREEMPT_PRIORITIES
 
 config PRIORITY_CEILING
 	int
-	prompt "Kernel V2: priority inheritance ceiling"
+	prompt "Priority inheritance ceiling"
 	default 0
 
 config BOOT_BANNER