The saame driver works on both, allow the driver to attach to a GICv4
controller with the ACPI attachment.
I'm going to commit this as it allows the device to start attaching. There is a second issue where the HW you have described the interrupt controller in a different way. I have a change in progress that should fix this second issue.