Hi Jon,

quoted

From: Khuong Dinh <redacted>

This patch makes pci-xgene-msi driver ACPI-aware and provides
MSI capability for X-Gene v1 PCIe controllers in ACPI boot mode.

Signed-off-by: Khuong Dinh <redacted>
Signed-off-by: Duc Dang <redacted>
Acked-by: Marc Zyngier <redacted>
---
v2:
 - Verify with BIOS version 3.06.25 and 3.07.09
v1:
 - Initial version

Hoping I just missed it, but was a follow-up (v3) ever provided for
this? It seems this thread ended with the expectation that a v3 would be
provided to address the sequencing issue.

No... You didn't missed anything. Khuong is out last couple days. He
is currently implementing the dependence requirement using the _DED
method. As soon as he get this working correctly, he will post the
next version. Though, there isn't anything wrong with the last version
besides future potential change in the kernel which is very unlikely
to change for the next one or more release of the future kernel.

-Loc