[PATCH] x86-64: don't use set_irq_regs()