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