fix x86_64 user.h (previously was just a copy of i386)
[musl] / arch /
drwxr-xr-x   ..
drwxr-xr-x - arm
drwxr-xr-x - i386
drwxr-xr-x - x86_64