[PATCH 09/14] vdso/gettimeofday: Introduce vdso_get_timestamp()