ia64: Use generic show_interrupts()