Re: ix: better inter-interrupt intervals

[Theo de Raadt]

> However it's possible to tune it a bit more, I suggest
> a simple diff below for inclusion into 5.1.

I'd prefer to do nothing for 5.1, and ship it as it is.