gettimeofday.c - arm _gettimeofday() implementation