K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-12-05T11:40:54.629990Z
K 7
svn:log
V 217
Remove an unneeded header. It was used when we had an arm64 specific GIC
driver, however with INTRNG this has been merged into a common arm driver.

Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation

END