Re: [NFS] fetching kernel via nfs