[PATCH] one more ARM IRQ fix