Fix discrepancy between VDSO based gettimeofday() and sys_gettimeofday().