stm32mp1: enable SCMI in linux configuration

Enable SCMI support in the Linux kernel configuration of the
stm32mp1 platform.

Signed-off-by: Etienne Carriere <etienne.carriere@linaro.org>
Signed-off-by: Etienne Carriere <etienne.carriere@st.com>
Acked-by: Jerome Forissier <jerome@forissier.org>

kconfigs/stm32mp1.conf

 CONFIG_TEE=y
 CONFIG_OPTEE=y
+# SCMI support
+CONFIG_ARM_SCMI_PROTOCOL=y
+CONFIG_COMMON_CLK_SCMI=y
+# CONFIG_SENSORS_ARM_SCMI is not set
+CONFIG_RESET_SCMI=y