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