diff --git a/kernel/irq/Kconfig b/kernel/irq/Kconfig
index 3b48dab801648dc1b7ef9962b2dd8d8067d9adf8..3bbfd6a9c475610cef70ac32a928f79e50db60e8 100644
--- a/kernel/irq/Kconfig
+++ b/kernel/irq/Kconfig
@@ -64,6 +64,10 @@ config IRQ_DOMAIN_HIERARCHY
 	bool
 	select IRQ_DOMAIN
 
+# Generic IRQ IPI support
+config GENERIC_IRQ_IPI
+	bool
+
 # Generic MSI interrupt support
 config GENERIC_MSI_IRQ
 	bool