This is a bug fix on the qualified 3.0.0-pre0 release.
The release is only intended for users of 3.0.0-pre0.
Note that 3.0.0-pre1 and 3.0.0-pre2 were internal testing builds
and have not been released publicly.
Bug Fixes
The LEON2 interrupt controller was in the case of,
re-raising the same interrupt as the acknowledged one;
not immediately triggering the interrupt.
Instead it got delayed to the next event.
This issue has now been fixed.