irqchip/gic-v3: Mark the base irq domain as DOMAIN_BUS_WIRED