Improved x86-64 documentation