[tip: irq/core] arm64: Kconfig: Allow build irq-stm32mp-exti driver as module

[tip-bot2 for Antonio Borneo]

The following commit has been merged into the irq/core branch of tip:

Commit-ID:     f2605e1715dd28e8943b557453fed3a40421d3b5
Gitweb:        https://git.kernel.org/tip/f2605e1715dd28e8943b557453fed3a40421d3b5
Author:        Antonio Borneo <antonio.borneo@xxxxxxxxxxx>
AuthorDate:    Thu, 20 Jun 2024 10:31:15 +02:00
Committer:     Thomas Gleixner <tglx@xxxxxxxxxxxxx>
CommitterDate: Mon, 24 Jun 2024 00:16:43 +02:00

arm64: Kconfig: Allow build irq-stm32mp-exti driver as module

Drop auto-selecting the driver, so it can be built either as a
module or built-in.

Signed-off-by: Antonio Borneo <antonio.borneo@xxxxxxxxxxx>
Signed-off-by: Thomas Gleixner <tglx@xxxxxxxxxxxxx>
Link: https://lore.kernel.org/r/20240620083115.204362-9-antonio.borneo@xxxxxxxxxxx

---
 arch/arm64/Kconfig.platforms | 1 -
 1 file changed, 1 deletion(-)

diff --git a/arch/arm64/Kconfig.platforms b/arch/arm64/Kconfig.platforms
index be86298..a028ea3 100644
--- a/arch/arm64/Kconfig.platforms
+++ b/arch/arm64/Kconfig.platforms
@@ -309,7 +309,6 @@ config ARCH_STM32
 	select GPIOLIB
 	select PINCTRL
 	select PINCTRL_STM32MP257
-	select STM32MP_EXTI
 	select ARM_SMC_MBOX
 	select ARM_SCMI_PROTOCOL
 	select COMMON_CLK_SCMI