> when customers report sometimes IRQ flags "go missing" under load?

I wish!

More likely customers would report that it's "not working properly".

(I mean, not that it's their responsibility to know why it's not working properly).