xdr_write_pages(9) on Linux

The text 0d0cb2e0aaee, as Debian 6.0 (Squeeze) shipped it.

Insert a list of pages into an XDR buffer for sending

xdr_write_pages(9) on Linux now