Don't eliminate ISR kickoffs

Merlinrequested to merge
mgttlinger/osek-verification:master into master

I need a syscall when a ISR is entered

Merge request reports