[Linaro-acpi] [PATCH v3 3/4] ACPI: ARM: Update acpi_register_gsi to register with the core IRQ subsystem