This patch adds external interrupt (exti) support
on stm32mp157c SoC.
Signed-off-by: NLudovic Barre <ludovic.barre@st.com>
Signed-off-by: NMarc Zyngier <marc.zyngier@arm.com>