[ARM] 2871/1: Fixes an issue with gettimeofday not working correctly on Intel IOP3xx...