x86_64: Add vDSO for x86-64 with gettimeofday/clock_gettime/getcpu