stm32mp1: promote SCMI config variant for STM32MP15 series

Promote the build directive using the SCMI configuration for STM32MP15
variants since this configuration allows to enable the device secure
hardening.

Signed-off-by: Etienne Carriere <[email protected]>
Reviewed-by: Gatien Chevallier <[email protected]>
Reviewed-by: Joakim Bech <[email protected]>

Author: etienne-lms

building/devices/stm32mp1.rst

@@ -45,14 +45,14 @@ as listed in table below:
 +========================+======================================+
 | `STM32MP135F-DK`_      | ``PLATFORM=stm32mp1-135F_DK``        |
 +------------------------+--------------------------------------+
-| `STM32MP157A-DK1`_     | ``PLATFORM=stm32mp1-157A_DK1``       |
-| `STM32MP157D-DK1`_     |                                      |
+| `STM32MP157A-DK1`_     | ``PLATFORM=stm32mp1-157A_DK1_SCMI``  |
+| `STM32MP157D-DK1`_     | or ``PLATFORM=stm32mp1-157A_DK1``    |
 +------------------------+--------------------------------------+
-| `STM32MP157C-DK2`_     | ``PLATFORM=stm32mp1-157C_DK2``       |
-| `STM32MP157F-DK2`_     |                                      |
+| `STM32MP157C-DK2`_     | ``PLATFORM=stm32mp1-157C_DK2_SCMI``  |
+| `STM32MP157F-DK2`_     | or ``PLATFORM=stm32mp1-157C_DK2``    |
 +------------------------+--------------------------------------+
-| `STM32MP157C-EV1`_     | ``PLATFORM=stm32mp1-157C_EV1``       |
-| `STM32MP157F-EV1`_     |                                      |
+| `STM32MP157C-EV1`_     | ``PLATFORM=stm32mp1-157C_EV1_SCMI``  |
+| `STM32MP157F-EV1`_     | or ``PLATFORM=stm32mp1-157C_EV1``    |
 +------------------------+--------------------------------------+
 
 When the build completes, generated image file sdcard.img can be found
@@ -68,7 +68,7 @@ A usual short fecth/build/load shell sequence is like the one below:
   $ repo sync
   $ cd build
   $ make toolchains
-  $ make PLATFORM=stm32mp1-157C_DK2 all
+  $ make PLATFORM=stm32mp1-157C_DK2_SCMI all
   $ dd if=../out/bin/sdcard.img of=/dev/sdX conv=fdatasync status=progress
   $ sgdisk -e /dev/sdX