x86/vdso: Prevent segfaults due to hoisted vclock reads