[PATCH v6.6 RESEND 0/2] x86/irq: Plug vector setup race