[PATCH] x86_64: serialize assign_irq_vector() use of static variables