x86: Clean up __vdso_clock_gettime variable.