Fix nfsrv_dsgetsockmnt() so that it handles the mirrors. Also, change
nfsrv_dsgetdevandfh() so that it allocates the maximum size for mirrors
and not just the maximum mirrors for this running case.