x86/irq: Fix a race in x86_vector_free_irqs()