[PATCH 5.1 085/405] ARM: vdso: Remove dependency with the arch_timer driver internals