Bring over the changes I made to the armv7 version of this driver such that
authorkettenis <kettenis@openbsd.org>
Sat, 8 Apr 2017 22:31:33 +0000 (22:31 +0000)
committerkettenis <kettenis@openbsd.org>
Sat, 8 Apr 2017 22:31:33 +0000 (22:31 +0000)
commit0d4f5be18b17391794ee3ba967822120da6b6420
tree83712997c69727229306b0dafbbd8916a3e9005a
parent36be8e20446ba61d11fe9f94d3fb0b3c33436e28
Bring over the changes I made to the armv7 version of this driver such that
interrupts are correctly routed to the boot cpu if that isn't the one
connected to CPU interface zero on the interrupt controller.

ok patrick@
sys/arch/arm64/dev/ampintc.c