[Linaro-acpi] [PATCH v3 4/4] ARM / GIC: convert GIC to ACPI using the information in MADT