Documentation: convert PCI-DMA-mapping.txt to use the generic DMA API