diff --git a/src/soc/marvell/bg4cd/Kconfig b/src/soc/marvell/bg4cd/Kconfig
index f8bf0b9fcd..1d51ebd94c 100644
--- a/src/soc/marvell/bg4cd/Kconfig
+++ b/src/soc/marvell/bg4cd/Kconfig
@@ -20,10 +20,10 @@
 config SOC_MARVELL_BG4CD
 	bool
 	default n
-	select ARCH_BOOTBLOCK_ARMV7
+	select ARCH_BOOTBLOCK_ARMV7_M
 	select ARCH_RAMSTAGE_ARMV7
 	select ARCH_ROMSTAGE_ARMV7
-	select ARCH_VERSTAGE_ARMV7
+	select ARCH_VERSTAGE_ARMV7_M
 	select BOOTBLOCK_CONSOLE
 	select CPU_HAS_BOOTBLOCK_INIT
 	select DYNAMIC_CBMEM