hw/arm/exynos4210: Don't connect multiple lines to external GIC inputs