Remove teh non-INTRNG code from the ARM GIC interrupt controller driver.

We don't build for the non-INTRNG case and it was makeing the code harder
to read.