x86: use explicit copy in vdso_gettimeofday()