Hi Borislav/Doung/etc,

v3
* Change the title of the patch to reflect the patch
* Completely dropped the driver. Instead, move completely to the FW by
  accessing the GIC directly.
* Fix a bug with function acpi_gsi_to_irq
* Enable APEI multiple GHES source to share an single external IRQ

v2
* Make all code more generic naming
* Still waiting for comment from Linaro folks on APEI

---
Loc Ho (2):
  acpi: Fix proper return code for function acpi_gsi_to_irq
  acpi: apei: Enable APEI multiple GHES source to share an single
    external IRQ

It has been awhile and I thought I check again on this. Any issue with
these two changes as it is needed for ARMv8 64-bit APEI support.
Without these two changes, APEI support will NOT work with X-Gene
platforms.

-Loc