Enable STM32 IPCC mailbox driver for STM32MP157c-ed1 board.
Signed-off-by: Fabien Dessenne <fabien.dessenne@st.com>
Signed-off-by: Alexandre Torgue <alexandre.torgue@st.com>