NFSv4.1: Make nfs4_setup_sequence take a nfs_server argument