Re: [Linaro-acpi] [RFCv1 PATCH 6/7] acpi: gsi: Adding ARM64-specific acpi_register_gsi()