Merge pull request #1767 from Yann-lms/updates_stm32mp1
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Mon, 21 Jan 2019 11:37:06 +0000 (11:37 +0000)
committerGitHub <noreply@github.com>
Mon, 21 Jan 2019 11:37:06 +0000 (11:37 +0000)
Updates for STM32MP1


Trivial merge