Implement irq_eoi to allow the GIC irq chip flow controller to
be changed to fasteoi.
Signed-off-by: Colin Cross <ccross@android.com>