initialize timer in os_core_riot.c
remove unused arguments