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