[PATCH] x86_64 irq_regs fix