This patch adds support of external interrupt for
gpio[a..k], gpioz
Signed-off-by: NLudovic Barre <ludovic.barre@st.com>
Signed-off-by: NMarc Zyngier <marc.zyngier@arm.com>