solve the bug at toppers_osek EnterISR2 and ExitISR2