[PATCH] x86_64 irq: Properly update vector_irq