K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2020-11-17T10:17:18.875892Z
K 7
svn:log
V 232
Allow the GICv3 ACPI driver to attach to a GICv4

The same driver works on both, allow the driver to attach to a GICv4
controller with the ACPI attachment.

Reported by:	Andrey Fesenko <f0andrey_gmail.com>
Sponsored by:	Innovate UK

END