diff -up ./arch/x86_64/vdso/vclock_gettime.c.ovz1815 ./arch/x86_64/vdso/vclock_gettime.c
--- ./arch/x86_64/vdso/vclock_gettime.c.ovz1815	2012-11-23 09:25:05.000000000 -0500
+++ ./arch/x86_64/vdso/vclock_gettime.c	2012-11-23 10:10:42.000000000 -0500
@@ -127,6 +127,7 @@ int __vdso_clock_gettime(clockid_t clock
 int clock_gettime(clockid_t, struct timespec *)
 	 __attribute__((weak, alias("__vdso_clock_gettime")));
 
+#if __GNUC__ >= 4
 int ___vdso_gettimeofday(struct timeval *tv, struct timezone *tz)
 {
 	long ret;
@@ -158,3 +159,4 @@ int __vdso_gettimeofday(struct timeval *
 }
 int gettimeofday(struct timeval *, struct timezone *)
 	__attribute__((weak, alias("__vdso_gettimeofday")));
+#endif