[Linaro-acpi] [PATCH v3 3/7] irqchip/gic: Convert the GIC driver to ACPI probing