Fix decoding of timer id returned by timer_create

* time.c (sys_timer_create): The kernel returns a integer, not a
pointer for the timer id in the memory pointed to by timer_id.
1 file changed