I don’t do anything else than what is described in the above steps to reproduce the issue.
Is the default configuration locking down the interrupt controller via the BCT? If not, how do I do that?
There is an issue when using both INT0 and INT1, described in the above steps to reproduce. I don’t know if they are both enabled, how do I check that?