[PATCH 6.16 539/627] x86/irq: Plug vector setup race