umount command: remove do_nfs_umount23 function