diff --git a/arch/arm/src/stm32l4/Kconfig b/arch/arm/src/stm32l4/Kconfig
index b95328ca164..28be165f448 100644
--- a/arch/arm/src/stm32l4/Kconfig
+++ b/arch/arm/src/stm32l4/Kconfig
@@ -103,18 +103,12 @@ config STM32L4_STM32L476XX
 	default n
 	select STM32L4_STM32L4X6
 	select ARCH_HAVE_FPU
-	select ARCH_HAVE_DPFPU # REVISIT
-	select ARMV7M_HAVE_ITCM
-	select ARMV7M_HAVE_DTCM
 
 config STM32L4_STM32L486XX
 	bool
 	default n
 	select STM32L4_STM32L4X6
 	select ARCH_HAVE_FPU
-	select ARCH_HAVE_DPFPU # REVISIT
-	select ARMV7M_HAVE_ITCM
-	select ARMV7M_HAVE_DTCM
 	select STM32L4_FLASH_1024KB
 
 config STM32L4_STM32L496XX
@@ -122,9 +116,6 @@ config STM32L4_STM32L496XX
 	default n
 	select STM32L4_STM32L4X6
 	select ARCH_HAVE_FPU
-	select ARCH_HAVE_DPFPU # REVISIT
-	select ARMV7M_HAVE_ITCM
-	select ARMV7M_HAVE_DTCM
 	select STM32L4_HAVE_I2C4
 	select STM32L4_HAVE_CAN2
 	select STM32L4_HAVE_DCMI