[U-Boot] [PATCH 3/4] configs: stm32mp15: enable IPCC mailbox

[Patrick DELAUNAY]

Hi,

> From: Fabien DESSENNE <fabien.dessenne at st.com>
> Sent: mardi 14 mai 2019 11:21
> 
> Activate the ipcc mailbox for stm32mp15 configs.
> 
> Signed-off-by: Fabien Dessenne <fabien.dessenne at st.com>
> ---
>  configs/stm32mp15_basic_defconfig   | 2 ++
>  configs/stm32mp15_trusted_defconfig | 2 ++
>  2 files changed, 4 insertions(+)
> 

Applied to u-boot-stm32/master, thanks!

Patrick