[PATCH v6.1] x86/irq: Plug vector setup race