set_dma_reserve(9) on Linux

The text acf69485ddb4, as Debian 7 (Wheezy) shipped it.

set the specified number of pages reserved in the first zone

set_dma_reserve(9) on Linux now