Documentation: DMA-API-HOWTO.txt: add multiple types of IOMMUs support