Update linux_process_syscall to work with the latest linux_check_syscall changes