stm32mp1: do not include platform header files directly in drivers

Instead, only platform_def.h is included.
The required files to be included are added in stm32mp1_def.h.

Signed-off-by: Yann Gautier <yann.gautier@st.com>
diff --git a/drivers/st/ddr/stm32mp1_ddr.c b/drivers/st/ddr/stm32mp1_ddr.c
index a2b0e9e..aca0450 100644
--- a/drivers/st/ddr/stm32mp1_ddr.c
+++ b/drivers/st/ddr/stm32mp1_ddr.c
@@ -6,6 +6,8 @@
 
 #include <stddef.h>
 
+#include <platform_def.h>
+
 #include <arch.h>
 #include <arch_helpers.h>
 #include <common/debug.h>
@@ -21,9 +23,6 @@
 #include <lib/mmio.h>
 #include <plat/common/platform.h>
 
-#include <stm32mp1_def.h>
-#include <stm32mp1_dt.h>
-
 struct reg_desc {
 	const char *name;
 	uint16_t offset;	/* Offset for base address */