arm64: marvell: Enable SEI driver

Enable the newly introduced Marvell SEI driver for the 64-bit Marvell
EBU platforms.

Suggested-by: Haim Boot <hayim@marvell.com>
Reviewed-by: Gregory CLEMENT <gregory.clement@bootlin.com>
Signed-off-by: Miquel Raynal <miquel.raynal@bootlin.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>

diff --git a/arch/arm64/Kconfig.platforms b/arch/arm64/Kconfig.platforms
index 393d2b524284e79ab4a344779089432eb4ef31bd..5a89a957641b5270ed4b370f72e813e16cf1d765 100644 (file)
--- a/arch/arm64/Kconfig.platforms
+++ b/arch/arm64/Kconfig.platforms
@@ -128,6 +128,7 @@ config ARCH_MVEBU
        select MVEBU_ICU
        select MVEBU_ODMI
        select MVEBU_PIC
+       select MVEBU_SEI
        select OF_GPIO
        select PINCTRL
        select PINCTRL_ARMADA_37XX