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/include/drivers/st/stm32mp1_pmic.h b/include/drivers/st/stm32mp1_pmic.h
index 256e340..75f8e61 100644
--- a/include/drivers/st/stm32mp1_pmic.h
+++ b/include/drivers/st/stm32mp1_pmic.h
@@ -9,7 +9,7 @@
 
 #include <stdbool.h>
 
-#include <stm32mp1_def.h>
+#include <platform_def.h>
 
 bool dt_check_pmic(void);
 int dt_pmic_enable_boot_on_regulators(void);