Fix problem in omap irq code
Fix problem in omap irq code

If an irq over max IRQ came in (unlikely) then it would result in an
array bounds over flow. gcc detected this as a result of the inlining of
the irq functions.

cmr/seL4,cmr/seL4,cmr/seL4