hw/arm/exynos4210: Use TYPE_OR_IRQ instead of custom OR-gate device