osek header fix: also check for ISR when printing resource declarations