[PATCH] arm26: remove irq_exit() from hardirq.h