double INTREQ write?

[Piru]

So I wonder, is there some strange configuration where the double INTENA write is really needed?

I would say no.

Probably this is just coder paranoia, to make absolutely sure it works. :-)