Update osek_osctrl.c