[Linaro-acpi] [RFC part2 PATCH 9/9] ACPI / GIC: Initialize GIC using the information in MADT