OS-3382 lxbrand 64bit gettimeofday depends on vsyscall or vdso