NFSD: Rename nfsd4_encode_bitmap()