- Drop the EXYNOS4 specific handler and rely on the non-banked GIC support instead. - Add support for IRQ domains in the GIC handler. - Add support for imx6q and highbank.