RIOT's gettimeofday needs to be called from syscalls.c to assure that gcc actually links it. If an RTC if available and enabled it will be used instead.