Re: __vdso_gettimeofday on x86 32bit app on 64bit kernel