[Linaro-acpi] [PATCH 15/20] ACPI / ARM64: Update acpi_register_gsi to register with the core IRQ subsystem