Re: [PATCH v5.15 RESEND 2/2] x86/irq: Plug vector setup race