x86: x86_32 has its own irq_regs definition