[Crash-utility] [PATCH] ARM: use generic_dump_irq() instead of a custom one