[Linaro-acpi] [PATCH 16/20] ACPI / GIC: Initialize GIC using the information in MADT