Fixing amd64 linux syscalls to use the proper registers