[PATCH RFC 13/14] sparc64: vdso: Implement clock_gettime64()