small optimization fix for X64Syscall