[Linaro-acpi] [PATCH 09/14] ACPI: Define ACPI_IRQ_MODEL_GIC needed for arm