irqchip / GIC: Convert the GIC driver to ACPI probing