fix x86_64 user.h (previously was just a copy of i386)
[musl] / src / internal / syscall.c