Some ARM platforms were still broken as a result of the IRQ register
passing changes, mostly due to a missing linux/irq.h include.
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>