K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2018-02-15T15:46:14.458369Z
K 7
svn:log
V 257
Rename the ACPI variant of the gicv2m driver from "gicv2m" to "gicv2m_acpi".
The FDT variant is called "gicv2m" too, and as both would try to register
on gic, only one of them would succeed, while we want them both in a
GENERIC kernel.

Reviewed by:	andrew

END