stm32mp1: *_SCMI flavor for STM32MP15 ST boards

Define 157x_xxx_SCMI platform flavors for STM32MP15 ST boards where RCC
secure hardening is enabled and non-secure needs to use SCMI service.
These are board DTS file ending with -scmi.dts.

The default stm32mp1 platform flavor is now 157C_DK2_SCMI.

Acked-by: Gatien Chevallier <gatien.chevallier@foss.st.com>
Signed-off-by: Etienne Carriere <etienne.carriere@foss.st.com>
diff --git a/stm32mp1.mk b/stm32mp1.mk
index 3709c76..d7e7c07 100644
--- a/stm32mp1.mk
+++ b/stm32mp1.mk
@@ -8,7 +8,7 @@
 override COMPILE_S_USER    := 32
 override COMPILE_S_KERNEL  := 32
 
-PLATFORM ?= stm32mp1-157C_DK2
+PLATFORM ?= stm32mp1-157C_DK2_SCMI
 OPTEE_OS_PLATFORM := $(PLATFORM)
 
 include common.mk
@@ -16,6 +16,9 @@
 ifeq ($(PLATFORM),stm32mp1-157A_DK1)
 BREXT_FLAVOR		= STM32MP157A-DK1
 STM32MP1_DTS_BASENAME	= stm32mp157a-dk1
+else ifeq ($(PLATFORM),stm32mp1-157A_DK1_SCMI)
+BREXT_FLAVOR		= STM32MP157A-DK1_SCMI
+STM32MP1_DTS_BASENAME	= stm32mp157a-dk1
 STM32MP1_DTS_LINUX 	?= $(STM32MP1_DTS_BASENAME)-scmi
 STM32MP1_DTS_U_BOOT 	?= $(STM32MP1_DTS_BASENAME)-scmi
 WITH_SRAM1_PAGER_POOL	?= y
@@ -30,12 +33,18 @@
 else ifeq ($(PLATFORM),stm32mp1-157C_DK2)
 BREXT_FLAVOR		= STM32MP157C-DK2
 STM32MP1_DTS_BASENAME	= stm32mp157c-dk2
+else ifeq ($(PLATFORM),stm32mp1-157C_DK2_SCMI)
+BREXT_FLAVOR		= STM32MP157C-DK2_SCMI
+STM32MP1_DTS_BASENAME	= stm32mp157c-dk2
 STM32MP1_DTS_LINUX 	?= $(STM32MP1_DTS_BASENAME)-scmi
 STM32MP1_DTS_U_BOOT 	?= $(STM32MP1_DTS_BASENAME)-scmi
 WITH_SRAM1_PAGER_POOL	?= y
 else ifeq ($(PLATFORM),stm32mp1-157C_EV1)
 BREXT_FLAVOR		= STM32MP157C-EV1
 STM32MP1_DTS_BASENAME	= stm32mp157c-ev1
+else ifeq ($(PLATFORM),stm32mp1-157C_EV1_SCMI)
+BREXT_FLAVOR		= STM32MP157C-EV1_SCMI
+STM32MP1_DTS_BASENAME	= stm32mp157c-ev1
 STM32MP1_DTS_LINUX 	?= $(STM32MP1_DTS_BASENAME)-scmi
 STM32MP1_DTS_U_BOOT 	?= $(STM32MP1_DTS_BASENAME)-scmi
 WITH_SRAM1_PAGER_POOL	?= y
@@ -43,6 +52,9 @@
 else ifeq ($(PLATFORM),stm32mp1-157C_ED1)
 BREXT_FLAVOR		= STM32MP157C-ED1
 STM32MP1_DTS_BASENAME	= stm32mp157c-ed1
+else ifeq ($(PLATFORM),stm32mp1-157C_ED1_SCMI)
+BREXT_FLAVOR		= STM32MP157C-ED1_SCMI
+STM32MP1_DTS_BASENAME	= stm32mp157c-ed1
 STM32MP1_DTS_LINUX 	?= $(STM32MP1_DTS_BASENAME)-scmi
 STM32MP1_DTS_U_BOOT 	?= $(STM32MP1_DTS_BASENAME)-scmi
 WITH_SRAM1_PAGER_POOL	?= y