[PATCH] x86_64: Make vsyscall.c compile without CONFIG_SYSCTL