x86: Use generic show_interrupts