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