x86/syscall: rewrite in gas format