x86_64, entry: Use split-phase syscall_trace_enter for 64-bit syscalls