NFS: fix print format for tk_pid