[PATCH] x86_64: Use a VMA for the 32bit vsyscall