ARM: nomadik: delete IRQ header

This header is not used any more after the platform was switched
to obtain resources from the device tree.

Signed-off-by: Linus Walleij <linus.walleij@linaro.org>