irqchip/gic: Switch ACPI support to stacked domains