K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-09-06T17:25:50.662916Z
K 7
svn:log
V 305
Fix the GIC ACPI cross reference value.

To support INTRNG with ACPI we need to set a non-zero cross reference value
for the interrupt controller. The GICv3 driver already had this value set,
however it was missed in the GICv2 driver. Fix this by setting xref to the
correct value.

Approved by:	re (gjb)

END