[PATCH] x86-64: adjust inclusion of asm/vsyscall32.h