Fixed wrong interrupt timings caused by 128bit interrupt vector
implementation (a few years ago)