[PATCH v5.10 2/2] x86/irq: Plug vector setup race