rename vsyscall structures to make their x86-ness clear
implement perform_monkeypatch for x86-64