[PATCH] x86_64: Use standard __always_inline in vsyscall.c