Clean up the Amlogic interrupt controller driver to handle the case where
we have both the Amlogic pic and a GIC. This may be the case in some
configurations.

Differential Revision: https://reviews.freebsd.org/D2432
Submitted by: John Wehle <john@feith.com>