#159 OSEK port (x86/Cortex), adds DisableOSInterrupts / DisableInterrupts