x86: Introduce asm/vdso/clocksource.h