fix x86_64 user.h (previously was just a copy of i386)
[musl] / src / setjmp / x86_64 /
drwxr-xr-x   ..
-rw-r--r-- 709 longjmp.s
-rw-r--r-- 607 setjmp.s