Add 64-bit vDSO implementations for gettimeofday() and clock_gettime().
Signed-off-by: Helge Deller <deller@gmx.de>