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.
* http://mbed.org/platforms/mbed-LPC1768/