Merge pull request #1739 from Yann-lms/includes

stm32mp1: do not include platform header files directly in drivers