[PATCH 4.9 033/128] ARM: vdso: Remove dependency with the arch_timer driver internals