NFS: Treat "intr" and "nointr" options as deprecated