Re: [PATCH v6 02/19] kernel: Define gettimeofday vdso common code