[PATCH 07/14] vdso/gettimeofday: Introduce vdso_clockid_valid()