The text a7d3c0e69151, as Debian 7 (Wheezy) shipped it.
Managed dma_pool_destroy
dmam_pool_destroy(9) on Linux now
