vdso gettimeofday: minor restructuring
(cherry picked from commit e912fbe1675714aab0179999923c171615e78c07)