microblaze: Use generic show_interrupts()